Publication Details

Regulated Pushdown Automata

KOLÁŘ, D.; MEDUNA, A. Regulated Pushdown Automata. Acta Cybernetica, 2000, vol. 2000, no. 4, p. 653-664. ISSN: 0324-721X.

Type

journal article

Language

English

Authors

Kolář Dušan, doc. Dr. Ing. (DIFS)
Meduna Alexandr, prof. RNDr., CSc. (DIFS)

Keywords

pushdown automata, regulated accepting, control languages

Abstract

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.

Published

2000

Pages

653–664

Journal

Acta Cybernetica, vol. 2000, no. 4, ISSN 0324-721X

Book

Acta Cybernetica

Publisher

unknown

Place

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"
}