RUS  ENG
Full version
JOURNALS // Vestnik TVGU. Seriya: Prikladnaya Matematika [Herald of Tver State University. Series: Applied Mathematics] // Archive

Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2017 Issue 4, Pages 7–23 (Mi vtpmk185)

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.

UDC: 519.766.23

Received: 05.11.2017
Revised: 02.12.2017

DOI: 10.26456/vtpmk185



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024