MyWikiBiz, Author Your Legacy — Wednesday November 05, 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: |