2 papers
cs.CL2018
Decision problems for Clark-congruential languages
Makoto Kanazawa, Tobias Kappé
A common question when studying a class of context-free grammars is whether equivalence is decidable within this class. We answer this question positively for the class of Clark-co…
math.LO2017
On the Recognizing Power of the Lambek Calculus with Brackets
Makoto Kanazawa
Every language recognized by the Lambek calculus with brackets is context-free. This is shown by combining an observation by Jäger with an entirely straightforward adaptation of th…