|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Conjunctive grammars in Greibach normal form and the Lambek calculus with additive connectivesстатья
Информация о цитировании статьи получена из
Scopus
Дата последнего поиска статьи во внешних источниках: 28 мая 2015 г.
- Автор: Kuznetsov S.
- Сборник: Formal Grammar - 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Dusseldorf, Germany, August 2013. Proceedings
- Серия: Lecture Notes in Computer Science
- Том: 8036
- Год издания: 2013
- Место издания: Springer Berlin
- Первая страница: 242
- Последняя страница: 249
- DOI: 10.1007/978-3-642-39998-5_15
- Аннотация: 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.
- Добавил в систему: Кузнецов Степан Львович