Další formáty:
BibTeX
LaTeX
RIS
@proceedings{840718,
author = {Křivka, Zbyněk and Masopust, Tomáš},
booktitle = {11th Italian Conference on Theoretical Computer Science},
keywords = {context-dependency checking, cooperating distributed grammar systems, generative power},
language = {eng},
title = {A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking},
url = {http://www.cremona.polimi.it/ictcs09/show_paper.php?id=1CT9r42bmF&progr=1},
year = {2009}
}
TY - CONF
ID - 840718
AU - Křivka, Zbyněk - Masopust, Tomáš
PY - 2009
TI - A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking
KW - context-dependency checking, cooperating distributed grammar systems, generative power
UR - http://www.cremona.polimi.it/ictcs09/show_paper.php?id=1CT9r42bmF&progr=1
N2 - 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.
ER -
KŘIVKA, Zbyněk a Tomáš MASOPUST. A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking. In \textit{11th Italian Conference on Theoretical Computer Science}. 2009.
|
