Article4033: 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 18: | Zeile 18: | ||
|ISSN=0169-2968 | |ISSN=0169-2968 | ||
|Download=Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals.pdf | |Download=Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals.pdf | ||
|Forschungsgruppe= | |Forschungsgruppe=Wissensbasierte Systeme | ||
|DOI=http://dx.doi.org/10.3233/FI-2010-258 | |DOI=http://dx.doi.org/10.3233/FI-2010-258 | ||
}} | }} |
Aktuelle Version vom 24. Mai 2016, 18:02 Uhr
Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals
Tomáš MasopustTomáš Masopust
Tomáš Masopust
Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals
Fundamenta Informaticae, 99(4):473-480, 2010
Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals
Fundamenta Informaticae, 99(4):473-480, 2010
- KurzfassungAbstract
Scattered context grammars with three nonterminals are known to be computationally complete. So far, however, it was an open problem whether the number of parallel productions can be bounded along with three nonterminals. In this paper, we prove that every recursively enumerable language is generated by a scattered context grammar with three nonterminals and five parallel productions, each of which simultaneously rewrites no more than nine nonterminals. - Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems
@article{M2010,
author = {Tom{\'{a}}{\v{s}} Masopust},
title = {Bounded Number of Parallel Productions in Scattered Context
Grammars with Three Nonterminals},
journal = {Fundamenta Informaticae},
volume = {99},
number = {4},
year = {2010},
pages = {473-480}
}