Detail publikačního výsledku

A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking

KŘIVKA, Z.; MASOPUST, T.

Originální název

A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking

Anglický název

A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

This paper discusses the cooperation and its effect on the generative power of rewriting systems with some kind of simple context-dependency checking represented by the mechanism of random context grammars. Specifically, it discusses the cooperation in terms of cooperating distributed grammar systems with respect to all basic types of cooperation protocols, and proves that although the cooperation is powerful enough to increase the generative power of both permitting and forbidding random context grammars, it has no effect on the generative power of random context grammars. It also discusses two possible definitions of the relation of the direct derivation step used in the literature.

Anglický abstrakt

This paper discusses the cooperation and its effect on the generative power of rewriting systems with some kind of simple context-dependency checking represented by the mechanism of random context grammars. Specifically, it discusses the cooperation in terms of cooperating distributed grammar systems with respect to all basic types of cooperation protocols, and proves that although the cooperation is powerful enough to increase the generative power of both permitting and forbidding random context grammars, it has no effect on the generative power of random context grammars. It also discusses two possible definitions of the relation of the direct derivation step used in the literature.

Klíčová slova

context-dependency checking, cooperating distributed grammar systems, generative power

Klíčová slova v angličtině

context-dependency checking, cooperating distributed grammar systems, generative power

Autoři

KŘIVKA, Z.; MASOPUST, T.

Vydáno

28.09.2009

Místo

Cremona

Kniha

11th Italian Conference on Theoretical Computer Science

Strany od

129

Strany do

135

Strany počet

7

URL

http://www.cremona.polimi.it/ictcs09/show_paper.php?id=1CT9r42bmF&progr=1

BibTex

@inproceedings{BUT91224,
  author="Zbyněk {Křivka} and Tomáš {Masopust}",
  title="A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking",
  booktitle="11th Italian Conference on Theoretical Computer Science",
  year="2009",
  pages="129--135",
  address="Cremona",
  url="http://www.cremona.polimi.it/ictcs09/show_paper.php?id=1CT9r42bmF&progr=1"
}