Publication result detail

Ordered Pure Multi-Pushdown Automata

MEDUNA, A.; SOUKUP, O.; ZEMEK, P.

Original Title

Ordered Pure Multi-Pushdown Automata

English Title

Ordered Pure Multi-Pushdown Automata

Type

Peer-reviewed article not indexed in WoS or Scopus

Original Abstract

In the presented paper we discuss pure versions of pushdown automata that have no extra non-input symbols. More specifically, we study pure multi-pushdown automata, which have several pushdown lists. We restrict these automata by the total orders defined over their pushdowns or alphabets and determine the accepting power of the automata restricted in this way. Moreover, we explain the significance of the achieved results and relate them to some other results in the automata theory.

English abstract

In the presented paper we discuss pure versions of pushdown automata that have no extra non-input symbols. More specifically, we study pure multi-pushdown automata, which have several pushdown lists. We restrict these automata by the total orders defined over their pushdowns or alphabets and determine the accepting power of the automata restricted in this way. Moreover, we explain the significance of the achieved results and relate them to some other results in the automata theory.

Keywords

pure multi-pushdown automata, total orders, accepting power

Key words in English

pure multi-pushdown automata, total orders, accepting power

Authors

MEDUNA, A.; SOUKUP, O.; ZEMEK, P.

RIV year

2017

Released

31.12.2015

ISBN

1896-5334

Periodical

Theoretical and Applied Informatics

Volume

27

Number

1

State

Republic of Poland

Pages from

25

Pages to

47

Pages count

21

URL

https://journals.pan.pl/tai/135572

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

Documents

meduna_Ordered Pure