|
Theoretical Foundations of Computer Science
$(m,n)$-rigid categorial grammars
B. N. Karlov Tver State University, Tver
Abstract:
In the article $(m,n)$-rigid categorial grammars are defined. An algorithm is proposed that verifies for a given grammar $G$ and natural numbers $m$, $n$ whether $G$ is $(m,n)$-rigid. It is proved that an infinite hierarchy exists in the class of $(m,n)$-rigid languages, and that the class of $(m,n)$-rigid grammars is incomparable with the class of regular languages. The complexity of the membership problem for $(m,n)$-rigid grammars is studied.
Keywords:
formal grammars, categorial grammars, rigid grammars, algorithm for rigidity checking, hierarchy of rigid languages, membership problem.
Received: 05.11.2017 Revised: 02.12.2017
Citation:
B. N. Karlov, “$(m,n)$-rigid categorial grammars”, Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2017, no. 4, 7–23
Linking options:
https://www.mathnet.ru/eng/vtpmk185 https://www.mathnet.ru/eng/vtpmk/y2017/i4/p7
|
Statistics & downloads: |
Abstract page: | 222 | Full-text PDF : | 170 | References: | 26 |
|