Detail publikace
General CD Grammar Systems and Their Simplification
Křivka Zbyněk, Ing., Ph.D. (UIFS FIT VUT)
Meduna Alexander, prof. RNDr., CSc. (UIFS FIT VUT)
Tento článek studuje obecné CD gramatické systémy, jejichž komponentami jsou obecné gramatiky a jsou tedy výpočetně úplné, a zkoumá jejich chování v módech * a t. Článek prezentuje dva typy transformací, které dokáží převést libovolnou obecnou gramatiku na dvoukomponentový obecný CD gramatický systém s jednou bezkontextovou a jednou kontextovou komponentou. První typ transformací generuje kontextovou komponentu s pravidly 11->00 a 0000->epsilon, kdežto druhý typ využívá pravidla 11->00 a 0000->2222. Kromě této významné redukce a zjednodušení kontextových pravidel prezentuje článek také několik dalších užitečných vlastností souvisejících s těmito systémy. Na závěr je pak uvedeno několik poznámek a otevřených problémů.
@ARTICLE{FITPUB11509, author = "Radim Kocman and Zbyn\v{e}k K\v{r}ivka and Alexander Meduna", title = "General CD Grammar Systems and Their Simplification", pages = "37--54", journal = "Journal of Automata, Languages and Combinatorics", volume = 25, number = 1, year = 2020, ISSN = "1430-189X", doi = "10.25596/jalc-2020-037", language = "english", url = "https://www.fit.vut.cz/research/publication/11509" }