Changes

Directory:Jon Awbrey/Papers/Cactus Language (view source)

Revision as of 21:00, 7 January 2009

7 bytes added , 21:00, 7 January 2009

→‎Generalities About Formal Grammars: markup

Line 1,289: Line 1,289:

==Generalities About Formal Grammars==

+

It is fitting to wrap up the foregoing developments by summarizing the notion of a formal grammar that appeared to evolve in the present case. For the sake of future reference and the chance of a wider application, it is also useful to try to extract the scheme of a formalization that potentially holds for any formal language. The following presentation of the notion of a formal grammar is adapted, with minor modifications, from the treatment in (DDQ, 60–61).

<pre>

−

~~It is fitting to wrap up the foregoing developments by summarizing the~~

−

~~notion of a formal grammar that appeared to evolve in the present case.~~

−

~~For the sake of future reference and the chance of a wider application,~~

−

~~it is also useful to try to extract the scheme of a formalization that~~

−

~~potentially holds for any formal language. The following presentation~~

−

~~of the notion of a formal grammar is adapted, with minor modifications,~~

−

~~from the treatment in (DDQ, 60-61).~~

−

A "formal grammar" !G! is given by a four-tuple !G! = ("S", !Q!, !A!, !K!)

that takes the following form of description:

Jon Awbrey

12,089

edits