Leftmost derivations of propagating scattered context grammars: a new proof
Authors: Tomáš Masopust ; Jiří Techet
0000-0001-9282-758X##NULL
Tomáš Masopust;Jiří Techet
In 1973, V. Virkkunen proved that propagating scattered context grammars which use leftmost derivations are as powerful as context-sensitive grammars. This paper brings a significantly simplified proof of this result.