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" }