Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
Интеллектуальная Система Тематического Исследования НАукометрических данных
Главная
Поиск
Статистика
О проекте
Помощь
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.
Добавил в систему:
Кузнецов Степан Львович