Number of the records: 1
Blaskhole state-controlled regulated pushdown automata
- 1.
SYSNO ASEP 0347017 Document Type C - Proceedings Paper (int. conf.) R&D Document Type Conference Paper Title Blaskhole state-controlled regulated pushdown automata Author(s) Csuhaj-Varjú, E. (HU)
Masopust, Tomáš (MU-W) RID, ORCID, SAI
Vaszil, G. (HU)Source Title Second Workshop on Non-Classical Models for Automata and Applications. - Wien : Österreichische Computer Gesellschaft, 2010 / Bordihn H. - ISBN 978-3-85403-263-2 Pages s. 45-56 Number of pages 12 s. Action Second Workshop on Non-Classical Models for Automata and Applications (NCMA 2010) Event date 23.08.2010-24.08.2010 VEvent location Jena Country DE - Germany Event type WRD Language eng - English Country AT - Austria Keywords pushdown automata ; regulation ; computational power Subject RIV BA - General Mathematics CEZ AV0Z10190503 - MU-W (2005-2011) Annotation 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. Workplace Mathematical Institute Contact Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Year of Publishing 2011
Number of the records: 1