Article4042: Unterschied zwischen den Versionen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Tomas Masopust (Diskussion | Beiträge)
Keine Bearbeitungszusammenfassung
Markus Krötzsch (Diskussion | Beiträge)
K (Textersetzung - „|Forschungsgruppe=Knowledge Systems“ durch „|Forschungsgruppe=Wissensbasierte Systeme“)
 
Zeile 21: Zeile 21:
|Download=Leftmost Derivations of Propagating Scattered Context Grammars A New Proof.pdf
|Download=Leftmost Derivations of Propagating Scattered Context Grammars A New Proof.pdf
|Link=http://www.dmtcs.org/dmtcs-ojs/index.php/dmtcs/article/view/712/2204
|Link=http://www.dmtcs.org/dmtcs-ojs/index.php/dmtcs/article/view/712/2204
|Forschungsgruppe=Knowledge Systems
|Forschungsgruppe=Wissensbasierte Systeme
|DOI=http://www.dmtcs.org/dmtcs-ojs/index.php/dmtcs/article/view/712/2204
|DOI=http://www.dmtcs.org/dmtcs-ojs/index.php/dmtcs/article/view/712/2204
}}
}}

Aktuelle Version vom 24. Mai 2016, 18:02 Uhr

Toggle side column

Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof

Tomáš MasopustTomáš Masopust,  Jirí TechetJirí Techet
Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof


Tomáš Masopust, Jirí Techet
Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof
Discrete Mathematics & Theoretical Computer Science, 10(2):39-46, 2008
  • 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}
}