Detail publikace

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.
Název česky
Poznámka o kooperaci v přepisovacích systémech s kontextovým ověřováním
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Křivka Zbyněk, Ing., Ph.D. (UIFS)
Masopust Tomáš, doc. RNDr., Ph.D. (CK-SZZ)
URL
Klíčová slova

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

Abstrakt

Č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.

Rok
2009
Strany
129–135
Sborník
11th Italian Conference on Theoretical Computer Science
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"
}
Nahoru