On pure multi-pushdown automata that perform complete pushdown pops

Masopust Tomáš and Meduna Alexander: On pure multi-pushdown automata that perform complete pushdown pops. In: Acta cybernetica, (19) 2. pp. 537-552. (2009)

[thumbnail of Masopust_2009_ActaCybernetica.pdf]
Preview
Cikk, tanulmány, mű
Masopust_2009_ActaCybernetica.pdf

Download (83kB) | Preview

Abstract

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.

Item Type: Article
Journal or Publication Title: Acta cybernetica
Date: 2009
Volume: 19
Number: 2
ISSN: 0324-721X
Page Range: pp. 537-552
Language: English
Place of Publication: Szeged
Event Title: International Conference on Automata and Formal Languages (12.) (2008) (Szeged)
Related URLs: http://acta.bibl.u-szeged.hu/38528/
Uncontrolled Keywords: Számítástechnika, Kibernetika, Automaták
Additional Information: Bibliogr.: p. 551-552. ; összefoglalás angol nyelven
Subjects: 01. Natural sciences
01. Natural sciences > 01.02. Computer and information sciences
Date Deposited: 2016. Oct. 15. 12:25
Last Modified: 2022. Jun. 17. 10:04
URI: http://acta.bibl.u-szeged.hu/id/eprint/12878

Actions (login required)

View Item View Item