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!

Buďte první, kdo okomentuje tento záznam!