Detail publikace

Regulated Pushdown Automata Revisited

RYCHNOVSKÝ, L. Regulated Pushdown Automata Revisited. Proceedings of the 15th Conference STUDENT EEICT 2009. Brno: Faculty of Information Technology BUT, 2009. p. 440-444. ISBN: 978-80-214-3870-5.
Název česky
Nový pohled na řízené zásobníkové automaty
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Rychnovský Lukáš, Ing., Ph.D.
Klíčová slova

regulated pushdown automata, recursive enumerable languages, direct and constructive proof

Abstrakt

Tento článek demonstruje alternativní důkaz známého tvrzení o ekvivalenci regulovaných zásobníkových automatů a rekuzivně vyčíslitelných jazyků, jak bylo dokázáno v Meduna, A., Kolář D.: Regulated Pushdown Automata, Acta Cybernetica, Vol. 14, 2000. Strany 653-664.

Rok
2009
Strany
440–444
Sborník
Proceedings of the 15th Conference STUDENT EEICT 2009
Konference
Student EEICT 2009, FEKT VUT v Brně, CZ
ISBN
978-80-214-3870-5
Vydavatel
Faculty of Information Technology BUT
Místo
Brno
BibTeX 
@inproceedings{BUT30862,
  author="Lukáš {Rychnovský}",
  title="Regulated Pushdown Automata Revisited",
  booktitle="Proceedings of the 15th Conference STUDENT EEICT 2009",
  year="2009",
  pages="440--444",
  publisher="Faculty of Information Technology BUT",
  address="Brno",
  isbn="978-80-214-3870-5"
}
Nahoru