|
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)
Conjunctive grammars in Greibach normal form and the Lambek calculus with additive connectives
S. Kuznetsov 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.
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/lncs8
|
Статистика просмотров: |
Страница аннотации: | 80 |
|