Článek ve sborníku konference

 
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, s. 129-135
Jazyk publikace:angličtina
Název publikace:A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking
Název (cs):Poznámka o kooperaci v přepisovacích systémech s kontextovým ověřováním
Strany:129-135
Sborník:11th Italian Conference on Theoretical Computer Science
Konference:Italian Conference on Theoretical Computer Science 2009
Místo vydání:Cremona, IT
Rok:2009
URL:http://www.cremona.polimi.it/ictcs09/show_paper.php?id=1CT9r42bmF&progr=1 [PDF]
Klíčová slova
context-dependency checking, cooperating distributed grammar systems, generative power
Anotace
Článek diskutuje vliv kooperace na generativní sílu přepisovacích systémů s jistým mechanismem zajištujícím ověřování kontextových závislostí reprezentovaným pomocí random kontext gramatik. Zejména diskutuje kooperaci v souvislosti s kooperujícími a distributivními gramatickými systémy s ohledem na známé derivační protokoly a ukazuje, že ačkoliv je kooperace dostatečně silná na to, aby zvýšila generativní sílu jak povolujících, tak i zakazujících gramatik, nemá žádný vliv na generativní sílu random kontext gramatik. Zároveň jsou diskutovýny dvě možné definice relace přímé derivace užívané v literatuře.
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}
}