Detail publikace

Regulated Pushdown Automata

KOLÁŘ, D. MEDUNA, A.

Originální název

Regulated Pushdown Automata

Typ

článek v časopise - ostatní, Jost

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

pushdown automata, regulated accepting, control languages

Autoři

KOLÁŘ, D.; MEDUNA, A.

Rok RIV

2001

Vydáno

1. 1. 2000

Nakladatel

unknown

Místo

Szeged

ISSN

0324-721X

Periodikum

Acta Cybernetica

Ročník

2000

Číslo

4

Stát

Spojené státy americké

Strany od

653

Strany do

664

Strany počet

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