Detail výsledku

Simultaneously One-Turn Two-Pushdown Automata

MEDUNA, A. Simultaneously One-Turn Two-Pushdown Automata. INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 2003, vol. 2003, no. 80, p. 679-687. ISSN: 0020-7160.
Typ
článek v časopise
Jazyk
anglicky
Autoři
Meduna Alexandr, prof. RNDr., CSc.
Abstrakt

It is proved that simultaneously one-turn two-pushdown automata are equivalent to the Turing machines.

Klíčová slova

recursively enumerable languages, one-turn two-pushdown automata

Anotace

Článek ukazuje, že každý rekurzivně spočetný jazyk je akceptován jednoobrátkovým dvouzásobníkovým automatem.

Rok
2003
Strany
679–687
Časopis
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, roč. 2003, č. 80, ISSN 0020-7160
Kniha
International Journal of Computer Mathematics
Vydavatel
Taylor & Francis Informa plc
Místo
London
BibTeX 
@article{BUT41080,
  author="Alexandr {Meduna}",
  title="Simultaneously One-Turn Two-Pushdown Automata",
  journal="INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS",
  year="2003",
  volume="2003",
  number="80",
  pages="679--687",
  issn="0020-7160"
}
Pracoviště
Fakulta informačních technologií (FIT)
Nahoru