Карлов, Б.Н. (2017) ЖЕСТКИЕ КАТЕГОРИАЛЬНЫЕ ГРАММАТИКИ. Вестник ТвГУ. Серия: Прикладная математика (4). С. 7-23. ISSN 1995-0136
![[img]](http://eprints.tversu.ru/style/images/fileicons/application_pdf.png) |
PDF
- Опубликованная версия
395kB |
Абстракт
В статье определяются жесткие категориальные грамматики. Построен алгоритм, который по грамматике
Абстракт (англ.)
In the article rigid categorial grammars are de�ned. An algorithm is proposed that veri�es for a given grammar
| Тип объекта: | Статья |
|---|---|
| Сведения об авторах: | Карлов Борис Николаевич доцент кафедры информатики Тверского государственного университета. |
| Ключевые слова: | формальные грамматики, категориальные грам- матики, жесткие грамматики, алгоритм проверки жесткости, иерархия жестких языков, проблема принадлежности |
| Ключевые слова (англ.): | formal grammars, categorial grammars, rigid grammars, algorithm for rigidity checking, hierarchy of rigid languages, membership problem |
| Категории: | 5 Математика. Естественные науки > 51 Математика > 519.7 Математическая кибернетика, включая теорию управляющих систем, теорию информации и математические вопросы семиотики > 519.76 Математические вопросы семиотики > 519.766 Модели языков и языковых структур > 519.766.2 Алгебро-логические и теоретико-множественные модели языков и языковых структур > 519.766.23 Модели, задаваемые порождающим исчислением (грамматикой) |
| Подразделения: | Университеты > Тверской государственный университет |
| ID Code: | 7834 |
| Deposited By: | С.Б. Федорова |
| Deposited On: | 31 Июл 2018 13:10 |
| Последнее изменение: | 31 Июл 2018 13:19 |
Repository Staff Only: item control page
