Journal article

 
Kolář, D., Meduna, A.: Regulated Pushdown Automata, In: Acta Cybernetica, Vol. 2000, No. 4, US, p. 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
Publisher: unknown
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šan Kolář 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},
   publisher = { unknown},
   ISSN = {0324-721X},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6020}
}