Publication Details

Reducing Deep Pushdown Automata and Infinite Hierarchy

KŘIVKA Zbyněk, MEDUNA Alexander and SCHÖNECKER Rudolf. Reducing Deep Pushdown Automata and Infinite Hierarchy. In: MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Mikulov: Faculty of Information Technology BUT, 2006, pp. 214-221. ISBN 80-214-3287-X.
Czech title
Redukující hluboké zásobníkové automaty a nekonečná hierarchie
Type
conference paper
Language
english
Authors
Keywords

Automata Theory, Top-Down Parser, Bottom-Up Parser, Deep Pushdown Automata, Infinite hierarchy, Reduction Operation, Shift Operation

Abstract

This contribution presents reducing variant of the deep pushdown automata.
Deep pushdown automata is a new generalization of the classical pushdown automata.
The basic idea of the modification consists of allowing these automata to access more deeper parts of pushdown
and reducing strings to non-input symbols in the pushdown.
It works similarly to bottom-up analysis simulation of context-free grammars in the classical pushdown automata
except it reads the input from the right to the left.
Further, this paper presents results concerning the equivalence of reducing deep pushdown automata with n-limited state grammars
and infinite hierarchy of language families based on that and one open problem.

Published
2006
Pages
214-221
Proceedings
MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Conference
2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science -- MEMICS'06, Mikulov, CZ
ISBN
80-214-3287-X
Publisher
Faculty of Information Technology BUT
Place
Mikulov, CZ
BibTeX
@INPROCEEDINGS{FITPUB8193,
   author = "Zbyn\v{e}k K\v{r}ivka and Alexander Meduna and Rudolf Sch{\"{o}}necker",
   title = "Reducing Deep Pushdown Automata and Infinite Hierarchy",
   pages = "214--221",
   booktitle = "MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
   year = 2006,
   location = "Mikulov, CZ",
   publisher = "Faculty of Information Technology BUT",
   ISBN = "80-214-3287-X",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8193"
}
Back to top