Publication Details
A Reduction of Finitely Expandable Deep Pushdown Automata
CHARVÁT, L.; MEDUNA, A. A Reduction of Finitely Expandable Deep Pushdown Automata. Schedae Informaticae, 2018, vol. 2017, no. 26, p. 61-68. ISSN: 0860-0295.
Czech title
Redukce konečně expandovatelných hlubokých zásobníkových automatů
Type
journal article
Language
English
Authors
Charvát Lucie, Ing.
Meduna Alexandr, prof. RNDr., CSc. (DIFS)
Meduna Alexandr, prof. RNDr., CSc. (DIFS)
URL
Keywords
Deep Pushdown Automata, Finite Expandability, Reduction, Non-Input Pushdown Symbols
Abstract
For a positive integer n, n-expandable deep pushdown automata always contain no more than n occurrences of non-input symbols in their pushdowns during any computation. As its main result, the paper demonstrates that these automata are as powerful as the same automata with only two non-input pushdown symbols---$ and #, where # always appears solely as the pushdown bottom. Moreover, the paper demonstrates an infinite hierarchy of language families that follows from this main result. The paper also points out that if # is the only non-input symbol in these automata, then they characterize the family of regular languages.
Published
2018
Pages
61–68
Journal
Schedae Informaticae, vol. 2017, no. 26, ISSN 0860-0295
DOI
EID Scopus
BibTeX
@article{BUT157232,
author="Lucie {Charvát} and Alexandr {Meduna}",
title="A Reduction of Finitely Expandable Deep Pushdown Automata",
journal="Schedae Informaticae",
year="2018",
volume="2017",
number="26",
pages="61--68",
doi="10.4467/20838476SI.17.005.8151",
issn="0860-0295",
url="http://www.ejournals.eu/Schedae-Informaticae/2017/Volume-26/art/10836/"
}