Inproceedings4084: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Tomas Masopust (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Markus Krötzsch (Diskussion | Beiträge) K (Textersetzung - „|Forschungsgruppe=Knowledge Systems“ durch „|Forschungsgruppe=Wissensbasierte Systeme“) |
||
Zeile 19: | Zeile 19: | ||
|Abstract=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. | |Abstract=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. | ||
|Download=Blackhole State-Controlled Regulated Pushdown Automata.pdf | |Download=Blackhole State-Controlled Regulated Pushdown Automata.pdf | ||
|Forschungsgruppe= | |Forschungsgruppe=Wissensbasierte Systeme | ||
|DOI= | |DOI= | ||
}} | }} |
Aktuelle Version vom 24. Mai 2016, 18:01 Uhr
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
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}
}