Fakulta informačních technologií VUT v Brně

Detail publikace

On Pure Multi-Pushdown Automata that Perform Complete-Pushdown Pops

MASOPUST Tomáš a MEDUNA Alexander. On Pure Multi-Pushdown Automata that Perform Complete-Pushdown Pops. In: Automata and Formal Languages. The 12th International Conference, AFL 2008, Balatonfured, Hungary, May 27-30, 2008, Proceedings. Balatonfured: Computer and Automation Research Institute, Hungarian Academy of Sciences, 2008, s. 325-336. ISBN 978-963-311-367-7.
Název česky
O čistých zásobníkových automatech, které provádí úplný zásobníkový pop
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Abstrakt
Článek zavádí a studuje čisté zásobníkové automaty, které vymazávají symboly ze zásobníků pouze provedením úplného zásobníkového popu. Během této operace se celý zásobník porovná s prefixem vstupního řetězce a když se shodují, tak je celý zásobník vyprázdněn a čtecí hlava se na vstupu posune za tento řetězec. Článek dokazuje, že tyto automaty definují nekonečnou hierarchii jazykových tříd. Rovněž je studován případ, kdy automat může svoje zásobníky spojovat a vytvářet nové zásobníky.
Rok
2008
Strany
325-336
Sborník
Automata and Formal Languages. The 12th International Conference, AFL 2008, Balatonfured, Hungary, May 27-30, 2008, Proceedings
Konference
The 12th International Conference on Automata and Formal Languages, Balatonfured, HU
ISBN
978-963-311-367-7
Vydavatel
Computer and Automation Research Institute, Hungarian Academy of Sciences
Místo
Balatonfured, HU
BibTeX
@INPROCEEDINGS{FITPUB8610,
   author = "Tom\'{a}\v{s} Masopust and Alexander Meduna",
   title = "On Pure Multi-Pushdown Automata that Perform Complete-Pushdown Pops",
   pages = "325--336",
   booktitle = "Automata and Formal Languages. The 12th International Conference, AFL 2008, Balatonfured, Hungary, May 27-30, 2008, Proceedings",
   year = 2008,
   location = "Balatonfured, HU",
   publisher = "Computer and Automation Research Institute, Hungarian Academy of Sciences",
   ISBN = "978-963-311-367-7",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8610"
}
Nahoru