Journal article

KOLÁŘ Dušan and MEDUNA Alexander. Regulated Pushdown Automata. Acta Cybernetica. 2000, vol. 2000, no. 4, pp. 653-664. ISSN 0324-721X.
Publication language:english
Original title:Regulated Pushdown Automata
Book:Acta Cybernetica
Place:Szeged, HU
Journal:Acta Cybernetica, Vol. 2000, No. 4, US
pushdown automata, regulated accepting, control languages
The paper suggests a new investigation area of the formal language theory - regulated automata. Specifically, it investigates pushdown automata that regulate the use of their rules by control languages. It proves that this regulation has no effect on the power of pushdown automata if the control languages are regular. However, the pushdown automata regulated by linear control languages characterize the family of recursively enumerable languages.
   author = {Du{\v{s}}an Kol{\'{a}}{\v{r}} and Alexander Meduna},
   title = {Regulated Pushdown Automata},
   pages = {653--664},
   booktitle = {Acta Cybernetica},
   journal = {Acta Cybernetica},
   volume = {2000},
   number = {4},
   year = {2000},
   location = {Szeged, HU},
   ISSN = {0324-721X},
   language = {english},
   url = {}

Your IPv4 address:
Switch to IPv6 connection

DNSSEC [dnssec]