Publication detail

Regulated Pushdown Automata

KOLÁŘ, D. MEDUNA, A.

Original Title

Regulated Pushdown Automata

Type

journal article - other

Language

English

Original Abstract

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.

Keywords

pushdown automata, regulated accepting, control languages

Authors

KOLÁŘ, D.; MEDUNA, A.

RIV year

2001

Released

1. 1. 2000

Publisher

unknown

Location

Szeged

ISBN

0324-721X

Periodical

Acta Cybernetica

Year of study

2000

Number

4

State

United States of America

Pages from

653

Pages to

664

Pages count

12

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