Decidability of DPDA Language Equivalence via First-Order Grammars
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F12%3A86084450" target="_blank" >RIV/61989100:27240/12:86084450 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/61989100:27740/12:86084450
Výsledek na webu
<a href="http://ieeexplore.ieee.org/" target="_blank" >http://ieeexplore.ieee.org/</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/LICS.2012.51" target="_blank" >10.1109/LICS.2012.51</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Decidability of DPDA Language Equivalence via First-Order Grammars
Popis výsledku v původním jazyce
Decidability of language equivalence of deterministic pushdown automata (DPDA) was established by G. Senizergues (1997), who thus solved a famous long-standing open problem. A simplified proof, also providing a primitive recursive complexity upper bound,was given by C. Stirling (2002). In this paper, the decidability is re-proved in the framework of first-order terms and grammars (given by finite sets of root-rewriting rules). The proof is based on the abstract ideas used in the previous proofs, but the chosen framework seems to be more natural for the problem and allows a short presentation which should be transparent for a general computer science audience.
Název v anglickém jazyce
Decidability of DPDA Language Equivalence via First-Order Grammars
Popis výsledku anglicky
Decidability of language equivalence of deterministic pushdown automata (DPDA) was established by G. Senizergues (1997), who thus solved a famous long-standing open problem. A simplified proof, also providing a primitive recursive complexity upper bound,was given by C. Stirling (2002). In this paper, the decidability is re-proved in the framework of first-order terms and grammars (given by finite sets of root-rewriting rules). The proof is based on the abstract ideas used in the previous proofs, but the chosen framework seems to be more natural for the problem and allows a short presentation which should be transparent for a general computer science audience.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2012
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
2012 27TH Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
ISBN
978-0-7695-4769-5
ISSN
1043-6871
e-ISSN
—
Počet stran výsledku
10
Strana od-do
415-424
Název nakladatele
IEEE
Místo vydání
New York
Místo konání akce
Dubrovník
Datum konání akce
25. 6. 2012
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
000309059900047