Blackhole pushdown automata

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F11%3A00374110" target="_blank" >RIV/67985840:_____/11:00374110 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.3233/FI-2011-584" target="_blank" >http://dx.doi.org/10.3233/FI-2011-584</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.3233/FI-2011-584" target="_blank" >10.3233/FI-2011-584</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Blackhole pushdown automata

Popis výsledku v původním jazyce

We introduce and investigate blackhole pushdown automata, variants of pushdown automata, where a string can always be pushed to the pushdown, but only a given depth of the pushdown content is remembered (the rest of the pushdown content is either canceled or becomes inaccessible). We also study blackhole variants of regulated pushdown automata, where the automaton in some distinguished states checks the form of its pushdown content against a given control language. We present characterizations of several language families in terms of these constructs.

Název v anglickém jazyce

Blackhole pushdown automata

Popis výsledku anglicky

We introduce and investigate blackhole pushdown automata, variants of pushdown automata, where a string can always be pushed to the pushdown, but only a given depth of the pushdown content is remembered (the rest of the pushdown content is either canceled or becomes inaccessible). We also study blackhole variants of regulated pushdown automata, where the automaton in some distinguished states checks the form of its pushdown content against a given control language. We present characterizations of several language families in terms of these constructs.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/GPP202%2F11%2FP028" target="_blank" >GPP202/11/P028: Decentralizované a koordinační supervizní řízení</a><br>

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2011

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Fundamenta Informaticae

ISSN

0169-2968

e-ISSN

—

Svazek periodika

112

Číslo periodika v rámci svazku

2

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

20

Strana od-do

137-156

Kód UT WoS článku

000299977800003

EID výsledku v databázi Scopus

—