LogoTver State University Repository

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

Карлов, Б.Н. (2011) О свойствах языков, задаваемых мультимодальными категориальными грамматиками зависимостей. Вестник ТвГУ. Серия: Прикладная математика (22). pp. 91-110. ISSN 1995-0136

[img]
Preview
PDF - Published Version
403kB

Abstract

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

Abstract (en)

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.

Item Type:Article
Uncontrolled Keywords:формальные грамматики, категориальные грамматики, структура зависимостей, абстрактные семейства языков, неполулинейные множества, сложность проблемы принадлежности
Keywords (en):formal grammars, categorial grammars, dependency structure, abstract families of languages, non-semilinear sets, complexity of membership problem
Subjects:5 Математика. Естественные науки > 51 Математика > 519.7 Математическая кибернетика, включая теорию управляющих систем, теорию информации и математические вопросы семиотики > 519.76 Математические вопросы семиотики > 519.766 Модели языков и языковых структур > 519.766.2 Алгебро-логические и теоретико-множественные модели языков и языковых структур > 519.766.23 Модели, задаваемые порождающим исчислением (грамматикой)
Divisions:Университеты > TverSU > Faculties > PMK > Кафедра информатики
ID Code:1593
Deposited By: И.С. Солдатенко
Deposited On:08 Jan 2017 08:17
Last Modified:08 Jan 2017 08:17

Repository Staff Only: item control page