Detail publikace

n-Right-Linear #-Rewriting Systems

KŘIVKA, Z.; MEDUNA, A.; SMRČEK, J. 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. p. 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
anglicky
Autoři
Křivka Zbyněk, Ing., Ph.D. (UIFS)
Meduna Alexandr, prof. RNDr., CSc. (UIFS)
Smrček Jaromír, Ing.
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)
ISBN
978-80-7355-077-6
Vydavatel
Ing. Zdeněk Novotný, CSc.
Místo
Znojmo
BibTeX 
@inproceedings{BUT25352,
  author="Zbyněk {Křivka} and Alexandr {Meduna} and Jaromír {Smrček}",
  title="n-Right-Linear #-Rewriting Systems",
  booktitle="Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007)",
  year="2007",
  pages="105--112",
  publisher="Ing. Zdeněk Novotný, CSc.",
  address="Znojmo",
  isbn="978-80-7355-077-6"
}
Nahoru