|
Fundamentalnaya i Prikladnaya Matematika, 1995, Volume 1, Issue 3, Pages 729–751
(Mi fpm100)
|
|
|
|
This article is cited in 4 scientific papers (total in 4 papers)
Lambek calculus and formal grammars
M. R. Pentus M. V. Lomonosov Moscow State University
Abstract:
We prove that the class of languages recognized by Lambek categorial grammars coincides with the class of all context-free languages.
Received: 01.06.1995
Citation:
M. R. Pentus, “Lambek calculus and formal grammars”, Fundam. Prikl. Mat., 1:3 (1995), 729–751
Linking options:
https://www.mathnet.ru/eng/fpm100 https://www.mathnet.ru/eng/fpm/v1/i3/p729
|
Statistics & downloads: |
Abstract page: | 1076 | Full-text PDF : | 642 | References: | 66 | First page: | 2 |
|