Efficient determinization of visibly and height-deterministic pushdown automata

New algorithms for the determinization of nondeterministic visibly and nondeterministic real-time height-deterministic pushdown automata are presented. The algorithms improve the results of existing algorithms. They construct only accessible states and necessary pushdown symbols of the resulting det...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Computer languages, systems & structures Ročník 46; s. 91 - 105
Hlavní autoři: Polách, Radomír, Trávníček, Jan, Janoušek, Jan, Melichar, Bořivoj
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier Ltd 01.11.2016
Témata:
Accessibility
Algorithms
Construction
Deterministic pushdown automata
Determinization
Height-deterministic pushdown automata
Languages
Pushdown automata
Real time
Symbols
Visibly pushdown automata
Visibly pushdown automata
Determinization
Pushdown automata
Deterministic pushdown automata
Height-deterministic pushdown automata
ISSN:1477-8424, 1873-6866
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:New algorithms for the determinization of nondeterministic visibly and nondeterministic real-time height-deterministic pushdown automata are presented. The algorithms improve the results of existing algorithms. They construct only accessible states and necessary pushdown symbols of the resulting deterministic pushdown automata. •Tracking pushdown symbols which can appear on top of pushdown store for each state.•Generating pop (return) transition only for possible top pushdown symbols for each state.•Overall generating only accessible states and necessary pushdown store symbols.•Visibly pushdown automata determinization algorithm.•Height-deterministic (real-time) automata determinization algorithm.
Bibliografie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 23
ISSN:1477-8424
1873-6866
DOI:10.1016/j.cl.2016.07.005