Fundam. Prikl. Mat., 1995 Volume 1, Issue 3, Pages 729–751
(Mi fpm100)
|
This article is cited 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.
UDC:
519.766.23
Received: 01.06.1995
© , 2024
Fulltext:
PDF file (844 kB)