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
Pages:653-664
Book:Acta Cybernetica
Place:Szeged, HU
Year:2000
Journal:Acta Cybernetica, Vol. 2000, No. 4, US
ISSN:0324-721X
Keywords
pushdown automata, regulated accepting, control languages
Annotation
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.
BibTeX:
@ARTICLE{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=6020}
}

Your IPv4 address: 54.91.38.173
Switch to IPv6 connection

DNSSEC [dnssec]