Detail publikace
n-Right-Linear #-Rewriting Systems
Meduna Alexander, prof. RNDr., CSc. (UIFS FIT VUT)
Smrček Jaromír, Ing. (FIT VUT)
#-přepisovací systémy konečného indexu, pravě-lineární #-přepisovací systémy, m-paralelní n-pravě-lineární jednoduché maticové jazyky, nekonečné hierarchie tříd jazyků
Tento příspěvek diskutuje #-přepisovací systémy, které reprezentují jednoduché jazyk-definující zařízení, které kombinuje automaty a gramatiky. Stejně jako automaty používá konečně mnoho stavů bez neterminálů; na druhou stranu stejně jako gramatiky generuje jazyk. Příspěvek zavádí n-pravě-lineární #-přepisovací systémy charakterizující nekonečnou hierarchii tříd jazyků definovaných m-paralelnímu n-pravě-lineárními jednoduchými maticovými gramatikami. Dále zavádí jisté přímočaré omezení přepisovaní těchto systémů a demonstruje, že pod tímto omezením generují pouze třídu pravě-lineárních jazyků. V závěru navrhuje několik variant #-přepisovacích systémů k budoucímu studiu.
@INPROCEEDINGS{FITPUB8498, author = "Zbyn\v{e}k K\v{r}ivka and Alexander Meduna and Jarom\'{i}r Smr\v{c}ek", title = "n-Right-Linear \#-Rewriting Systems", pages = "105--112", booktitle = "Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007)", year = 2007, location = "Znojmo, CZ", publisher = "Ing. Zden\v{e}k Novotn\'{y}, CSc.", ISBN = "978-80-7355-077-6", language = "english", url = "https://www.fit.vut.cz/research/publication/8498" }