Detail publikace

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

KŘIVKA Zbyněk a MASOPUST Tomáš. A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking. In: 11th Italian Conference on Theoretical Computer Science. Cremona, 2009, s. 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
angličtina
Autoři
URL
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
Konference
Italian Conference on Theoretical Computer Science 2009, Cremona, IT
Místo
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"
}
Nahoru