1 paper
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…