Lecture Notes in Comput. Sci., 2013, Volume 8036, Pages 242–249
Conjunctive grammars in Greibach normal form and the Lambek calculus with additive connectives
Moscow State University
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.
Citing articles on Google Scholar:
Related articles on Google Scholar:
|Number of views:|