On pure multi-pushdown automata that perform complete pushdown pops

This paper introduces and discusses pure multi-pushdown automata that remove symbols from their pushdowns only by performing complete pushdown pops. This means that during a pop operation, the entire pushdown is compared with a prefix of the input, and if they match, the whole contents of the pushdo...

Teljes leírás

Elmentve itt :
Bibliográfiai részletek
Szerzők: Masopust Tomáš
Meduna Alexander
Testületi szerző: International Conference on Automata and Formal Languages (12.) (2008) (Szeged)
Dokumentumtípus: Cikk
Megjelent: 2009
Sorozat:Acta cybernetica 19 No. 2
Kulcsszavak:Számítástechnika, Kibernetika, Automaták
Tárgyszavak:
Online Access:http://acta.bibl.u-szeged.hu/12878
LEADER 01761nab a2200241 i 4500
001 acta12878
005 20220617100434.0
008 161015s2009 hu o 0|| eng d
022 |a 0324-721X 
040 |a SZTE Egyetemi Kiadványok Repozitórium  |b hun 
041 |a eng 
100 1 |a Masopust Tomáš 
245 1 3 |a On pure multi-pushdown automata that perform complete pushdown pops  |h [elektronikus dokumentum] /  |c  Masopust Tomáš 
260 |c 2009 
300 |a 537-552 
490 0 |a Acta cybernetica  |v 19 No. 2 
520 3 |a This paper introduces and discusses pure multi-pushdown automata that remove symbols from their pushdowns only by performing complete pushdown pops. This means that during a pop operation, the entire pushdown is compared with a prefix of the input, and if they match, the whole contents of the pushdown is erased and the input is advanced by the prefix. The paper proves that these automata define an infinite hierarchy of language families identical with the infinite hierarchy of language families resulting from right linear simple matrix grammars. In addition, this paper discusses some other extensions of these automata with respect to operations they can perform with their pushdowns. More specifically, it discusses pure multi-pushdown automata that perform complete pushdown pops that are allowed to join two pushdowns and/or create a new pushdown. 
650 4 |a Természettudományok 
650 4 |a Számítás- és információtudomány 
695 |a Számítástechnika, Kibernetika, Automaták 
700 0 1 |a Meduna Alexander  |e aut 
710 |a International Conference on Automata and Formal Languages (12.) (2008) (Szeged) 
856 4 0 |u http://acta.bibl.u-szeged.hu/12878/1/Masopust_2009_ActaCybernetica.pdf  |z Dokumentum-elérés