How to Demonstrate Metalinearness and Regularity by Tree-Restricted General Grammars

Martin Havel, Zbyněk Křivka, Alexander Meduna

This paper introduces derivation trees for general grammars. Within these trees, it defines context-dependent pairs of nodes, corresponding to rewriting two neighboring symbols usi…