|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
On the Generative Power of Discontinuous Lambek Calculusстатья
Информация о цитировании статьи получена из
Web of Science,
Scopus
Дата последнего поиска статьи во внешних источниках: 17 декабря 2015 г.
- Автор: Sorokin Alexey
- Сборник: 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
- Первая страница: 250
- Последняя страница: 262
- DOI: 10.1007/978-3-642-39998-5_16
- Аннотация: We prove that the class of languages which are generated by discontinuous Lambek grammars and do not contain the empty word is closed under intersection with regular languages. The size of the grammar for the intersection is linear with respect to the size of the initial discontinuous Lambek grammar.
- Добавил в систему: Сорокин Алексей Андреевич