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