Článek ve sborníku konference

 
Abdulla, P., A., Bouajjani, A., Holík, L., Kaati, L., Vojnar, T.: Computing Simulations over Tree Automata (Efficient Techniques for Reducing Tree Automata), In: Tools and Algorithms for the Construction and Analysis of Systems, Berlin, DE, Springer, 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áš Holík and
	Lisa Kaati and Tomáš 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?id=8575}
}