Context-sensitive fusion grammars and fusion grammars with forbidden context are universal
Context-sensitive fusion grammars and fusion grammars with forbidden context are special cases of context-dependent fusion grammars where instead of finite sets of positive and negative context conditions in the first case a rule has only a single positive context condition and in the second case a...
Saved in:
| Published in: | Information and computation Vol. 288; p. 104889 |
|---|---|
| Main Author: | |
| Format: | Journal Article |
| Language: | English |
| Published: |
Elsevier Inc
01.10.2022
|
| Subjects: | |
| ISSN: | 0890-5401, 1090-2651 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | Context-sensitive fusion grammars and fusion grammars with forbidden context are special cases of context-dependent fusion grammars where instead of finite sets of positive and negative context conditions in the first case a rule has only a single positive context condition and in the second case a rule has only a finite set of negative context conditions. In this paper, we show that several decision problems can be formulated quite intuitively by these grammars. In particular, we show that the Boolean satisfiability problem as well as the Post correspondence problem can be transformed into a context-sensitive fusion grammar and that the graph coloring problem can be transformed into a fusion grammar with forbidden context such that the generated languages give solutions for the problems. Furthermore, we prove that both grammar types can generate all recursively enumerable string languages (up to representation of strings as graphs) and are universal in this respect. |
|---|---|
| ISSN: | 0890-5401 1090-2651 |
| DOI: | 10.1016/j.ic.2022.104889 |