$O_2$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof

Marco B. Caminati

Classifying formal languages according to the expressiveness of grammars able to generate them is a fundamental problem in computational linguistics and, therefore, in the theory o…