introduced the bounded-order Lambek Calculus and provided a polynomial time algorithm for its sequent derivability. However, this result is limited because it requires exponential time in the presence of lexical ambiguity. That is, [2] did not provide a polynomial time parsing algorithm. The purpose of this paper will be to provide such an algorithm. We will prove an asymptotic bound of ο(n4) for parsing and improve the bound for sequent derivability from ο(n5) to ο(n3). © Springer-Verlag Berlin Heidelberg 2010.
CITATION STYLE
Fowler, T. A. D. (2010). A polynomial time algorithm for parsing with the bounded order Lambek Calculus. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6149 LNAI, pp. 36–43). https://doi.org/10.1007/978-3-642-14322-9_4
Mendeley helps you to discover research relevant for your work.