Non-associative Lambek Categorial Gramma
✍
Erik Aarts; Kees Trautwein
📂
Article
📅
1995
🏛
John Wiley and Sons
🌐
English
⚖ 455 KB
We present a new axiomatization of the non-associative Lambek calculus. We prove that it takes polynomial time to reduce any non-associative Lambek categorial grammar to an equivalent context-free grammar. Since it is possible to recognize a sentence generated by a context-free grammar in polynomial