Thanks again to all Monks who took the time to answer and add to the discussion on this fascinating question, as well as provide links to further information.

As it happens, I have just found another relevant resource, a link to which will, I hope, make a satisfying coda.

Celebrated computer scientist Prof. Niklaus Wirth of the Eidgenössische Technische Hochschule Zürich (Federal Technical University of Zürich) recently updated his book 'Compiler Construction', which is available for download from his ETH homepage. For some reason, the 2014 PDF edition is divided into two parts, though of course it can easily be joined up again using PDFtk.

In Chapter 3, Prof. Wirth states the following (after some previous discussion of Chomsky):

"regular languages [play] a significant role in the realm of programming languages ... the following, simple definition may be given:

A language is regular, if its syntax can be expressed by a single EBNF expression.

The requirement that a single equation suffices also implies that only terminal symbols occur in the expression. Such an expression is called a regular expression."

This quotation makes more sense in the context of the surrounding book, but I think it's basically saying the same as what Corion says above. EBNF stands, of course, for 'Extended Backus-Naur Form', which is expounded throughout the book - as it is Wirth's own extension of the older BNF.

With the help and guidance of the above Monks and this volume from Prof. Wirth, I hope more readily to grasp the difference between Perl-legitimate regexen and the apparently much more specific meaning of the term in compiler design.


In reply to Re: Why aren't perl regular expressions really regular expressions? by Dumu
in thread Why aren't perl regular expressions really regular expressions? by Dumu

Title:
Use:  <p> text here (a paragraph) </p>
and:  <code> code here </code>
to format your post, it's "PerlMonks-approved HTML":



  • Posts are HTML formatted. Put <p> </p> tags around your paragraphs. Put <code> </code> tags around your code and data!
  • Titles consisting of a single word are discouraged, and in most cases are disallowed outright.
  • Read Where should I post X? if you're not absolutely sure you're posting in the right place.
  • Please read these before you post! —
  • Posts may use any of the Perl Monks Approved HTML tags:
    a, abbr, b, big, blockquote, br, caption, center, col, colgroup, dd, del, details, div, dl, dt, em, font, h1, h2, h3, h4, h5, h6, hr, i, ins, li, ol, p, pre, readmore, small, span, spoiler, strike, strong, sub, summary, sup, table, tbody, td, tfoot, th, thead, tr, tt, u, ul, wbr
  • You may need to use entities for some characters, as follows. (Exception: Within code tags, you can put the characters literally.)
            For:     Use:
    & &amp;
    < &lt;
    > &gt;
    [ &#91;
    ] &#93;
  • Link using PerlMonks shortcuts! What shortcuts can I use for linking?
  • See Writeup Formatting Tips and other pages linked from there for more info.