LogoTver State University Repository

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

Карлов, Б.Н. (2008) Нормальные формы и автоматы для категориальных грамматик зависимостей. Вестник ТвГУ. Серия: Прикладная математика (4[11]). pp. 23-43. ISSN 1995-0136

[img]
Preview
PDF - Published Version
407kB

Abstract

В работе изучаются свойства обобщенных категориальных грамматик зависимостей (оКГЗ), введенных в работах \cite{CDG,gCDG}. Для них определяются нормальные формы, аналогичные нормальной форме Грейбах для кс-грамматик. Доказывается, что каждый оКГЗ-язык можно получить с помощью гомоморфизма из пересечения кс-языка и скобочного языка. Определен класс магазинных автоматов со счетчиками, которые допускают оКГЗ-языки.

Abstract (en)

We establish some properties of generalized Categorial Dependency Grammars (gCDG) introduced in the papers \cite{CDG,gCDG}. A normal form of gCDGs is defined which is similar to Greibach normal form for cf-grammars. It is proved that each gCDG-language can be obtained via homomorphism of the intersection of cf-language and some kind of multibracket language. A class of push-down automata with counters is defined which accept all gCDG-languages.

Item Type:Article
Additional Information:Б.Н. Карлов, Тверской государственный университет, Россия, 170100, г.Тверь, ул.Желябова, 33, Кафедра информатики.
Uncontrolled Keywords:формальные грамматики, категориальные грамматики, структура зависимостей, нормальные формы грамматик, магазинные автоматы со счетчиками
Keywords (en):formal grammars, categorial grammars, dependency structure, normal forms of grammars, push-down automata with counters
Subjects:5 Математика. Естественные науки > 51 Математика > 519.7 Математическая кибернетика, включая теорию управляющих систем, теорию информации и математические вопросы семиотики > 519.76 Математические вопросы семиотики > 519.766 Модели языков и языковых структур > 519.766.2 Алгебро-логические и теоретико-множественные модели языков и языковых структур > 519.766.23 Модели, задаваемые порождающим исчислением (грамматикой)
Divisions:Университеты > TverSU > Faculties > PMK > Кафедра информатики
ID Code:570
Deposited By: И.С. Солдатенко
Deposited On:08 Jan 2017 08:08
Last Modified:08 Jan 2017 08:08

Repository Staff Only: item control page