Article4033: 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 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=Knowledge Systems
|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

Toggle side column

Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals

Tomáš MasopustTomáš Masopust
Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals


Tomáš Masopust
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}
}