Detail publikace

Regulated Pushdown Automata

KOLÁŘ, D.; MEDUNA, A. Regulated Pushdown Automata. Acta Cybernetica, 2000, vol. 2000, no. 4, p. 653-664. ISSN: 0324-721X.
Typ
článek v časopise
Jazyk
anglicky
Autoři
Kolář Dušan, doc. Dr. Ing. (UIFS)
Meduna Alexandr, prof. RNDr., CSc. (UIFS)
Klíčová slova

pushdown automata, regulated accepting, control languages

Abstrakt

The paper suggests a new investigation area of the formal languagetheory - regulated automata. Specifically, it investigates pushdownautomata that regulate the use of their rules by control languages. Itproves that this regulation has no effect on the power of pushdownautomata if thecontrol languages are regular. However, the pushdown automata regulatedbylinear control languages characterize the family of recursivelyenumerablelanguages.

Rok
2000
Strany
653–664
Časopis
Acta Cybernetica, roč. 2000, č. 4, ISSN 0324-721X
Kniha
Acta Cybernetica
Vydavatel
unknown
Místo
Szeged
BibTeX 
@article{BUT40357,
  author="Dušan {Kolář} and Alexandr {Meduna}",
  title="Regulated Pushdown Automata",
  journal="Acta Cybernetica",
  year="2000",
  volume="2000",
  number="4",
  pages="653--664",
  issn="0324-721X"
}
Nahoru