Карлов, Б.Н. (2011) О свойствах языков, задаваемых мультимодальными категориальными грамматиками зависимостей. Вестник ТвГУ. Серия: Прикладная математика (22). С. 91-110. ISSN 1995-0136
Предварительный просмотр |
PDF
- Опубликованная версия
403kB |
Абстракт
В работе продолжается изучение категориальных грамматик зависимостей (КГЗ). Рассматривается мультимодальный вариант этих грамматик с запретами на пересечение дальних связей (ммКГЗ). Доказывается, что множество ммКГЗ-языков замкнуто относительно операции итерации и является абстрактным семейством языков. Устанавливается, что класс ммКГЗ-языков замкнут относительно пересечения, но не замкнут относительно проекции. Построен пример неполулинейного ммКГЗ-языка. Установлено, что существует ммКГЗ с NP-полной проблемой принадлежности.
Абстракт (англ.)
In the paper we continue to investigate the categorial dependency grammars (CDG). A multimodal version of these grammars with negative mode pairing rules (mmCDG) is considered. It is proved that the set of mmCDG-languages is closed under iteration and it is an abstract family of languages. We also establish that the class of mmCDG-languages is closed under intersection, but it is not closed under projection. An example of a non-semilinear mmCDG-language is presented. It is established that there exists a mmCDG with NP-complete membership problem.
| Тип объекта: | Статья |
|---|---|
| Ключевые слова: | формальные грамматики, категориальные грамматики, структура зависимостей, абстрактные семейства языков, неполулинейные множества, сложность проблемы принадлежности |
| Ключевые слова (англ.): | formal grammars, categorial grammars, dependency structure, abstract families of languages, non-semilinear sets, complexity of membership problem |
| Категории: | 5 Математика. Естественные науки > 51 Математика > 519.7 Математическая кибернетика, включая теорию управляющих систем, теорию информации и математические вопросы семиотики > 519.76 Математические вопросы семиотики > 519.766 Модели языков и языковых структур > 519.766.2 Алгебро-логические и теоретико-множественные модели языков и языковых структур > 519.766.23 Модели, задаваемые порождающим исчислением (грамматикой) |
| Подразделения: | Университеты > Тверской государственный университет > Факультеты > ПМиК > Кафедра информатики |
| ID Code: | 1593 |
| Deposited On: | 08 Янв 2017 08:17 |
| Последнее изменение: | 08 Янв 2017 08:17 |
Repository Staff Only: item control page