You are perfectly right in remarking that the implementation of a language has non-CFL aspects, but I never claimed otherwise.

As you mention yourself, the grammar which is represented in the YACC/Bison file is CLF, and that is exactly what I claimed.

Besides grammar there is indeed semantics (or implementation as I called it), and that is a different matter indeed. Only I was not talking about that, so please don't suggest I'm claiming things I'm not.

Besides specifying the grammar one has to make it "do" do something using some programming languagge, and hence one is specifying the semantics in some RE (recursive enumerable) formalism.

Incidently, it would be weird if one could get recursive enumerability with a pure CLF, wouldn't it? So no, I'm not claiming that.

I'm familiar with the Dragon, having implemented a number of parsers for commercial applications.

Regards, -gjb-

In reply to Re: Re: Re: Re: original definition vs final language by gjb
in thread original definition vs final language by dystrophy

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.