RUS  ENG
Полная версия
ЖУРНАЛЫ // Вестник Тверского государственного университета. Серия: Прикладная математика // Архив

Вестник ТвГУ. Серия: Прикладная математика, 2011, выпуск 22, страницы 91–110 (Mi vtpmk260)

Теоретические основы информатики

О свойствах языков, задаваемых мультимодальными категориальными грамматиками зависимостей

Б. Н. Карлов

Тверской государственный университет, г. Тверь

Аннотация: В работе продолжается изучение категориальных грамматик зависимостей (КГЗ). Рассматривается мультимодальный вариант этих грамматик с запретами на пересечение дальних связей (ммКГЗ). Доказывается, что множество ммКГЗ-языков замкнуто относительно операции итерации и является абстрактным семейством языков. Устанавливается, что класс ммКГЗ-языков замкнут относительно пересечения, но не замкнут относительно проекции. Построен пример неполулинейного ммКГЗ-языка. Установлено, что существует ммКГЗ с NP-полной проблемой принадлежности.

Ключевые слова: формальные грамматики, категориальные грамматики, структура зависимостей, абстрактные семейства языков, неполулинейные множества, сложность проблемы принадлежности.

УДК: 519.766.23

Поступила в редакцию: 05.09.2011
Исправленный вариант: 12.09.2011



Реферативные базы данных:


© МИАН, 2024