Článek ve sborníku konference

ABDULLA Parosh A., BOUAJJANI Ahmed, HOLÍK Lukáš, KAATI Lisa a VOJNAR Tomáš. Computing Simulations over Tree Automata (Efficient Techniques for Reducing Tree Automata). In: Tools and Algorithms for the Construction and Analysis of Systems. Berlin: Springer Verlag, 2008, s. 93-108. ISBN 978-3-540-78799-0.
Jazyk publikace:angličtina
Název publikace:Computing Simulations over Tree Automata (Efficient Techniques for Reducing Tree Automata)
Název (cs):Výpočet simulací nad stromovými automaty (Efektivní techniky pro redukci stromových automatů)
Strany:93-108
Sborník:Tools and Algorithms for the Construction and Analysis of Systems
Konference:European Joint Conferences on Theory and Practice of Software -- ETAPS'08 (TACAS'08, FoSSaCS'08)
Řada knih:LNCS 4963
Místo vydání:Berlin, DE
Rok:2008
ISBN:978-3-540-78799-0
Vydavatel:Springer Verlag
Klíčová slova
tree automata, simulation relation, nondeterministic tree automata, reductionm, language preservation
Anotace
Článek prezentuje jednoduché a výkonné algoritmy pro výpočet různých simulačních relací nad stromovými automaty, a to prostřednictvím jejich překladu do vhodných označených přechodových systémů. Článek rovněž prezentuje způsob, jak složit některé z uvažovaných simulací tak, aby vznikla relace relativně hrubá, ale současně zachovávající jazyk stromových automatů, což je výhodné pro efektivní redukci nedeterministických stromových automatů.
BibTeX:
@INPROCEEDINGS{
   author = {A. Parosh Abdulla and Ahmed Bouajjani and Luk{\'{a}}{\v{s}}
	Hol{\'{i}}k and Lisa Kaati and Tom{\'{a}}{\v{s}} Vojnar},
   title = {Computing Simulations over Tree Automata (Efficient
	Techniques for Reducing Tree Automata)},
   pages = {93--108},
   booktitle = {Tools and Algorithms for the Construction and Analysis of
	Systems},
   series = {LNCS 4963},
   year = {2008},
   location = {Berlin, DE},
   publisher = {Springer Verlag},
   ISBN = {978-3-540-78799-0},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=8575}
}

Vaše IPv4 adresa: 54.198.221.13
Přepnout na IPv6 spojení

DNSSEC [dnssec]