Detail publikace

Ordered Pure Multi-Pushdown Automata

MEDUNA, A.; SOUKUP, O.; ZEMEK, P. Ordered Pure Multi-Pushdown Automata. Theoretical and Applied Informatics, 2015, vol. 27, no. 1, p. 25-47. ISSN: 1896-5334.
Název česky
Uspořádané Čisté Vícezásobníkové Automaty
Typ
článek v časopise
Jazyk
anglicky
Autoři
Meduna Alexandr, prof. RNDr., CSc. (UIFS)
Soukup Ondřej, Ing., Ph.D.
Zemek Petr, Ing., Ph.D.
URL
Klíčová slova

pure multi-pushdown automata, total orders, accepting power

Abstrakt

Článek studuje čisté verze zásobníkových automatů, které pracují pouze se vstupními symboly. Přesněji se zabýváme čistými vícezásobníkovými automaty, s několika zásobníky. Definujeme omezení daná úplným uspořádáním nad zásobníky či abecedou a stanovujeme výpočetní sílu takto omezených automatů. Navíc vysvětlujeme význam dosažených výsledků ve vztahu k dalším výsledkům v oblasti teorie automatů.

Rok
2015
Strany
25–47
Časopis
Theoretical and Applied Informatics, roč. 27, č. 1, ISSN 1896-5334
DOI
BibTeX
@article{BUT130904,
  author="Alexandr {Meduna} and Ondřej {Soukup} and Petr {Zemek}",
  title="Ordered Pure Multi-Pushdown Automata",
  journal="Theoretical and Applied Informatics",
  year="2015",
  volume="27",
  number="1",
  pages="25--47",
  doi="10.20904/271025",
  issn="1896-5334",
  url="https://journals.pan.pl/tai/135572"
}
Nahoru