Article4042: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
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= | |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
Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof
Tomáš MasopustTomáš Masopust, Jirí TechetJirí Techet
Tomáš Masopust, Jirí Techet
Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof
Discrete Mathematics & Theoretical Computer Science, 10(2):39-46, 2008
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}
}