Карлов, Б.Н. (2008) Нормальные формы и автоматы для категориальных грамматик зависимостей. Вестник ТвГУ. Серия: Прикладная математика (4[11]). С. 23-43. ISSN 1995-0136
Предварительный просмотр |
PDF
- Опубликованная версия
407kB |
Абстракт
В работе изучаются свойства обобщенных категориальных грамматик зависимостей (оКГЗ), введенных в работах \cite{CDG,gCDG}. Для них определяются нормальные формы, аналогичные нормальной форме Грейбах для кс-грамматик. Доказывается, что каждый оКГЗ-язык можно получить с помощью гомоморфизма из пересечения кс-языка и скобочного языка. Определен класс магазинных автоматов со счетчиками, которые допускают оКГЗ-языки.
Абстракт (англ.)
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.
| Тип объекта: | Статья |
|---|---|
| Сведения об авторах: | Б.Н. Карлов, Тверской государственный университет, Россия, 170100, г.Тверь, ул.Желябова, 33, Кафедра информатики. |
| Ключевые слова: | формальные грамматики, категориальные грамматики, структура зависимостей, нормальные формы грамматик, магазинные автоматы со счетчиками |
| Ключевые слова (англ.): | formal grammars, categorial grammars, dependency structure, normal forms of grammars, push-down automata with counters |
| Категории: | 5 Математика. Естественные науки > 51 Математика > 519.7 Математическая кибернетика, включая теорию управляющих систем, теорию информации и математические вопросы семиотики > 519.76 Математические вопросы семиотики > 519.766 Модели языков и языковых структур > 519.766.2 Алгебро-логические и теоретико-множественные модели языков и языковых структур > 519.766.23 Модели, задаваемые порождающим исчислением (грамматикой) |
| Подразделения: | Университеты > Тверской государственный университет > Факультеты > ПМиК > Кафедра информатики |
| ID Code: | 570 |
| Deposited On: | 08 Янв 2017 08:08 |
| Последнее изменение: | 08 Янв 2017 08:08 |
Repository Staff Only: item control page