Blackhole State-Controlled Regulated Pushdown Automata

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Blackhole State-Controlled Regulated Pushdown Automata

Erzsébet Csuhaj-VarjúErzsébet Csuhaj-Varjú,  Tomáš MasopustTomáš Masopust,  György VaszilGyörgy Vaszil
Erzsébet Csuhaj-Varjú, Tomáš Masopust, György Vaszil
Blackhole State-Controlled Regulated Pushdown Automata
In H. Bordihn, R. Freund, T. Hinze, M. Holzer, M. Kutrib, F. Otto, eds., Proc. of Second Workshop on Non-Classical Models for Automata and Applications (NCMA), volume band 263 of books@ocg.at, 45-56, 2010. Österreichische Computer Gesellschaft
  • KurzfassungAbstract
    In this paper, we introduce and study a variant of regulated pushdown automata, called blackhole state-controlled R-PDA where a symbol can always be pushed to the pushdown, but only a given depth of the pushdown contents is remembered; the rest of the pushdown contents is lost. In addition, the automaton can check the form of its pushdown contents according to a given control language. We present characterizations of several language families in terms of these constructs.
  • Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems
@inproceedings{CMV2010,
  author    = {Erzs{\'{e}}bet Csuhaj-Varj{\'{u}} and Tom{\'{a}}{\v{s}} Masopust
               and Gy{\"{o}}rgy Vaszil},
  title     = {Blackhole State-Controlled Regulated Pushdown Automata},
  editor    = {H. Bordihn and R. Freund and T. Hinze and M. Holzer and M. Kutrib
               and F. Otto},
  booktitle = {Proc. of Second Workshop on Non-Classical Models for Automata and
               Applications (NCMA)},
  series    = {books@ocg.at},
  volume    = {band 263},
  publisher = {{\"{O}}sterreichische Computer Gesellschaft},
  year      = {2010},
  pages     = {45-56}
}