Detail publikace

n-Right-Linear #-Rewriting Systems

KŘIVKA Zbyněk, MEDUNA Alexander a SMRČEK Jaromír. n-Right-Linear #-Rewriting Systems. In: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007). Znojmo: Ing. Zdeněk Novotný, CSc., 2007, s. 105-112. ISBN 978-80-7355-077-6.
Název česky
n-pravě-lineární #-přepisovací systémy
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Křivka Zbyněk, Ing., Ph.D. (UIFS FIT VUT)
Meduna Alexander, prof. RNDr., CSc. (UIFS FIT VUT)
Smrček Jaromír, Ing. (FIT VUT)
URL
Klíčová slova

#-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ů

Abstrakt

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.

Rok
2007
Strany
105-112
Sborník
Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007)
Konference
MEMICS'07 -- 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Znojmo, CZ
ISBN
978-80-7355-077-6
Vydavatel
Ing. Zdeněk Novotný, CSc.
Místo
Znojmo, CZ
BibTeX
@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"
}
Soubory
Nahoru