MyWikiBiz, Author Your Legacy — Wednesday September 10, 2025
Jump to navigationJump to search
7 bytes added
, 21:00, 7 January 2009
Line 1,289: |
Line 1,289: |
| | | |
| ==Generalities About Formal Grammars== | | ==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> | | <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!) | | A "formal grammar" !G! is given by a four-tuple !G! = ("S", !Q!, !A!, !K!) |
| that takes the following form of description: | | that takes the following form of description: |