Publication Details

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

KŘIVKA Zbyněk and MASOPUST Tomáš. A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking. In: 11th Italian Conference on Theoretical Computer Science. Cremona, 2009, pp. 129-135.
Czech title
Poznámka o kooperaci v přepisovacích systémech s kontextovým ověřováním
Type
conference paper
Language
english
Authors
Křivka Zbyněk, Ing., Ph.D. (DIFS FIT BUT)
Masopust Tomáš, RNDr., Ph.D. (DIFS FIT BUT)
URL
Keywords

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

Abstract

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.

Published
2009
Pages
129-135
Proceedings
11th Italian Conference on Theoretical Computer Science
Conference
Italian Conference on Theoretical Computer Science 2009, Cremona, IT
Place
Cremona, IT
BibTeX 
@INPROCEEDINGS{FITPUB8982,
   author = "Zbyn\v{e}k K\v{r}ivka and Tom\'{a}\v{s} 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 = "https://www.fit.vut.cz/research/publication/8982"
}
Back to top