|
This article is cited in 5 scientific papers (total in 5 papers)
Conjunctive grammars in Greibach normal form and the Lambek calculus with additive connectives
S. Kuznetsov Moscow State University
Abstract:
We prove that any language without the empty word, generated by a conjunctive grammar in Greibach normal form, is generated by a grammar based on the Lambek calculus enriched with additive (“intersection” and “union”) connectives.
Linking options:
https://www.mathnet.ru/eng/lncs8
|
Statistics & downloads: |
Abstract page: | 80 |
|