Detail výsledku

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

KŘIVKA, Z.; MASOPUST, T. A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking. 11th Italian Conference on Theoretical Computer Science. Cremona: 2009. p. 129-135.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
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

URL
Rok
2009
Strany
129–135
Sborník
11th Italian Conference on Theoretical Computer Science
Konference
Italian Conference on Theoretical Computer Science 2009
Místo
Cremona
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"
}
Projekty
Virtuální laboratoř aplikace mikroprocesorové techniky, MŠMT, Informační technologie pro znalostní společnost, 2C06008, zahájení: 2006-07-01, ukončení: 2011-06-30, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Pracoviště
Nahoru