Detail publikace

Ordered Pure Multi-Pushdown Automata

Originální název

Ordered Pure Multi-Pushdown Automata

Anglický název

Ordered Pure Multi-Pushdown Automata

Jazyk

en

Originální abstrakt

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.

Anglický abstrakt

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.

BibTex


@article{BUT130904,
  author="Alexandr {Meduna} and Ondřej {Soukup} and Petr {Zemek}",
  title="Ordered Pure Multi-Pushdown Automata",
  annote="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.",
  address="NEUVEDEN",
  chapter="130904",
  doi="10.20904/271025",
  edition="NEUVEDEN",
  howpublished="online",
  institution="NEUVEDEN",
  number="1",
  volume="27",
  year="2015",
  month="december",
  pages="25--47",
  publisher="NEUVEDEN",
  type="journal article - other"
}