Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{891318, author = {CsuhajandVarjú, Erzsébet and Masopust, Tomáš and Vaszil, György}, booktitle = {Second Workshop on Non-Classical Models for Automata and Applications (NCMA 2010), books@ocg.at, band 263}, keywords = {Pushdown automata; regulation.}, language = {eng}, isbn = {978-3-85403-263-2}, pages = {45-56}, title = {Blackhole State-Controlled Regulated Pushdown Automata}, year = {2010} }
TY - JOUR ID - 891318 AU - Csuhaj-Varjú, Erzsébet - Masopust, Tomáš - Vaszil, György PY - 2010 TI - Blackhole State-Controlled Regulated Pushdown Automata SN - 9783854032632 KW - Pushdown automata KW - regulation. N2 - 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. ER -
CSUHAJ-VARJÚ, Erzsébet, Tomáš MASOPUST a György VASZIL. Blackhole State-Controlled Regulated Pushdown Automata. In \textit{Second Workshop on Non-Classical Models for Automata and Applications (NCMA 2010), books@ocg.at, band 263}. 2010, s.~45-56. ISBN~978-3-85403-263-2.
|