Leftmost derivations of propagating scattered context grammars: a new proof
Authors: Tomáš Masopust 1; Jiří Techet 1
0000-0001-9282-758X##NULL
Tomáš Masopust;Jiří Techet
1 Faculty of Information Technology [Brno]
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.