no code implementations • CL 2018 • Glyn Morrill, Oriol Valent{\'\i}n
Spurious ambiguity is the phenomenon whereby distinct derivations in grammar may assign the same structural reading, resulting in redundancy in the parse search space and inefficiency in parsing.
no code implementations • 1 May 2017 • Max Kanovich, Stepan Kuznetsov, Glyn Morrill, Andre Scedrov
Pentus (2010) gave a polynomial-time algorithm for determ- ining provability of bounded depth formulas in the Lambek calculus with empty antecedents allowed.