Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals
Aus International Center for Computational Logic
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}
}