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...
Uloženo v:
| Vydáno v: | Information and computation Ročník 288; s. 104889 |
|---|---|
| Hlavní autor: | |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Elsevier Inc
01.10.2022
|
| Témata: | |
| ISSN: | 0890-5401, 1090-2651 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Shrnutí: | 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 |