Blaskhole state-controlled regulated pushdown automata

0347017 - MÚ 2011 RIV AT eng C - Conference Paper (international conference)
Csuhaj-Varjú, E. - Masopust, Tomáš - Vaszil, G.
Blaskhole state-controlled regulated pushdown automata.
Second Workshop on Non-Classical Models for Automata and Applications. Wien: Österreichische Computer Gesellschaft, 2010 - (Bordihn, H.), s. 45-56. ISBN 978-3-85403-263-2.
[Second Workshop on Non-Classical Models for Automata and Applications (NCMA 2010). Jena (DE), 23.08.2010-24.08.2010]
Institutional research plan: CEZ:AV0Z10190503
Keywords : pushdown automata * regulation * computational power
Subject RIV: BA - General Mathematics

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.
Permanent Link: http://hdl.handle.net/11104/0187892