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žené v:

Podrobná bibliografia
Vydané v:	Computer languages, systems & structures Ročník 46; s. 91 - 105
Hlavní autori:	Polách, Radomír, Trávníček, Jan, Janoušek, Jan, Melichar, Bořivoj
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier Ltd 01.11.2016
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!