Publication Details

Reducing Deep Pushdown Automata and Infinite Hierarchy

SCHÖNECKER, R.; KŘIVKA, Z.; MEDUNA, A. Reducing Deep Pushdown Automata and Infinite Hierarchy. MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Mikulov: Faculty of Information Technology BUT, 2006. p. 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
Schönecker Rudolf, Ing.
Křivka Zbyněk, Ing., Ph.D. (DIFS)
Meduna Alexandr, prof. RNDr., CSc. (DIFS)
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
ISBN
80-214-3287-X
Publisher
Faculty of Information Technology BUT
Place
Mikulov
BibTeX
@inproceedings{BUT22277,
  author="Rudolf {Schönecker} and Zbyněk {Křivka} and Alexandr {Meduna}",
  title="Reducing Deep Pushdown Automata and Infinite Hierarchy",
  booktitle="MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
  year="2006",
  pages="214--221",
  publisher="Faculty of Information Technology BUT",
  address="Mikulov",
  isbn="80-214-3287-X"
}
Back to top