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