E-resources
Peer reviewed
-
Lye, Aaron
Information and computation, October 2022, 2022-10-00, Volume: 288Journal Article
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.
Author
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Shelf entry
Permalink
- URL:
Impact factor
Access to the JCR database is permitted only to users from Slovenia. Your current IP address is not on the list of IP addresses with access permission, and authentication with the relevant AAI accout is required.
Year | Impact factor | Edition | Category | Classification | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Select the library membership card:
If the library membership card is not in the list,
add a new one.
DRS, in which the journal is indexed
Database name | Field | Year |
---|
Links to authors' personal bibliographies | Links to information on researchers in the SICRIS system |
---|
Source: Personal bibliographies
and: SICRIS
The material is available in full text. If you wish to order the material anyway, click the Continue button.