Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof

Tomáš MasopustTomáš Masopust, Jirí TechetJirí Techet

ISSN: 1365-8050
Download

Tomáš Masopust, Jirí Techet
Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof
Discrete Mathematics & Theoretical Computer Science, 10(2):39-46, 2008

Details
Bibtex

KurzfassungAbstract
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.
Weitere Informationen unter:Further Information: Link
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

@article{MT2008,
  author  = {Tom{\'{a}}{\v{s}} Masopust and Jir{\'{\i}} Techet},
  title   = {Leftmost Derivations of Propagating Scattered Context Grammars: A
             New Proof},
  journal = {Discrete Mathematics \& Theoretical Computer Science},
  volume  = {10},
  number  = {2},
  year    = {2008},
  pages   = {39-46}
}