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
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
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