A new algorithm for the determinisation of visibly pushdown automata
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21240%2F15%3A00241054" target="_blank" >RIV/68407700:21240/15:00241054 - isvavai.cz</a>
Výsledek na webu
<a href="https://fedcsis.org/proceedings/2015/" target="_blank" >https://fedcsis.org/proceedings/2015/</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.15439/2015F325" target="_blank" >10.15439/2015F325</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
A new algorithm for the determinisation of visibly pushdown automata
Popis výsledku v původním jazyce
Visibly pushdown automata are pushdown automata whose pushdown operations are determined by the input symbol, where the input alphabet is partitioned into three parts for push, pop and local pushdown operations. It is well known that nondeterministic visibly pushdown automata can be determinised. In this paper a new algorithm for the determinisation of nondeterministic visibly pushdown automata is presented. The algorithm improves the existing methods and can result in significantly smaller deterministic pushdown automata. This is achieved in a way that only necessary and accessible states and pushdown symbols are computed and constructed during the determinisation.
Název v anglickém jazyce
A new algorithm for the determinisation of visibly pushdown automata
Popis výsledku anglicky
Visibly pushdown automata are pushdown automata whose pushdown operations are determined by the input symbol, where the input alphabet is partitioned into three parts for push, pop and local pushdown operations. It is well known that nondeterministic visibly pushdown automata can be determinised. In this paper a new algorithm for the determinisation of nondeterministic visibly pushdown automata is presented. The algorithm improves the existing methods and can result in significantly smaller deterministic pushdown automata. This is achieved in a way that only necessary and accessible states and pushdown symbols are computed and constructed during the determinisation.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GA13-03253S" target="_blank" >GA13-03253S: Zpracování textových a stromových struktur a jejich aplikace</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2015
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of the 2015 Federated Conference on Computer Science and Information Systems
ISBN
978-83-60810-65-1
ISSN
2300-5963
e-ISSN
—
Počet stran výsledku
8
Strana od-do
915-922
Název nakladatele
IEEE
Místo vydání
New York
Místo konání akce
Lodz
Datum konání akce
13. 9. 2015
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—