Weighted grammars and Kleene's theorem
✍ Scribed by Athanasios Alexandrakis; Symeon Bozapalidis
- Book ID
- 113163115
- Publisher
- Elsevier Science
- Year
- 1987
- Tongue
- English
- Weight
- 229 KB
- Volume
- 24
- Category
- Article
- ISSN
- 0020-0190
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
Productions of a context-free grammar can be given coefficients from semirings, inducing weights for both derivations in the grammar and strings over the terminal alphabet. For a weighted context-free grammar in Greibach normal form, the weight of any string, as well as the set of derivations of the
The equivalence of (classical) categorial grammars and context-free grammars, proved by Gaifman [4], is a very basic result of the theory of formal grammars (an essentially equivalent result is known as the Greibach normal form theorem [1], [14]). We analyse the contents of Gaifman's theorem within