Conference paper

 
Křivka, Z., Masopust, T.: A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking, In: 11th Italian Conference on Theoretical Computer Science, Cremona, IT, 2009, p. 129-135
Publication language:english
Original title:A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking
Title (cs):Poznámka o kooperaci v přepisovacích systémech s kontextovým ověřováním
Pages:129-135
Proceedings:11th Italian Conference on Theoretical Computer Science
Conference:Italian Conference on Theoretical Computer Science 2009
Place:Cremona, IT
Year:2009
URL:http://www.cremona.polimi.it/ictcs09/show_paper.php?id=1CT9r42bmF&progr=1 [PDF]
Keywords
context-dependency checking, cooperating distributed grammar systems, generative power
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   author = {Zbyněk Křivka and Tomáš Masopust},
   title = {A Note on the Cooperation in Rewriting Systems with
	Context-Dependency Checking},
   pages = {129--135},
   booktitle = {11th Italian Conference on Theoretical Computer Science},
   year = {2009},
   location = {Cremona, IT},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8982}
}