Publication Details
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.
Czech title
Nový pohled na řízené zásobníkové automaty
Type
conference paper
Language
English
Authors
Rychnovský Lukáš, Ing., Ph.D.
Keywords
regulated pushdown automata, recursive enumerable languages, direct and constructive proof
Abstract
This article demonstrates alternative proof of well-known theorem of equivalence between regulated pushdown automata and recursive enumerable languages as shown in Meduna, A., Kolář D.: Regulated Pushdown Automata, Acta Cybernetica, Vol. 14, 2000. Pages 653-664.
Published
2009
Pages
440–444
Proceedings
Proceedings of the 15th Conference STUDENT EEICT 2009
Conference
Student EEICT 2009, FEKT VUT v Brně, CZ
ISBN
978-80-214-3870-5
Publisher
Faculty of Information Technology BUT
Place
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"
}