Conference paperABDULLA Parosh A., BOUAJJANI Ahmed, HOLÍK Lukáš, KAATI Lisa and 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, pp. 93108. ISBN 9783540787990.  Publication language:  english 

Original title:  Computing Simulations over Tree Automata (Efficient Techniques for Reducing Tree Automata) 

Title (cs):  Výpočet simulací nad stromovými automaty (Efektivní techniky pro redukci stromových automatů) 

Pages:  93108 

Proceedings:  Tools and Algorithms for the Construction and Analysis of Systems 

Conference:  European Joint Conferences on Theory and Practice of Software  ETAPS'08 (TACAS'08, FoSSaCS'08) 

Series:  LNCS 4963 

Place:  Berlin, DE 

Year:  2008 

ISBN:  9783540787990 

Publisher:  Springer Verlag 

Keywords 

tree automata, simulation relation, nondeterministic tree automata, reductionm, language preservation

Annotation 

We address the problem of computing simulation relations over tree
automata. In particular, we consider downward and upward simulations on
tree automata, which are, loosely speaking, analogous to forward and
backward relations over word automata. We provide simple and efficient
algorithms for computing these relations based on a reduction to the
problem of computing simulations on labelled transition systems.
Furthermore, we show that downward and upward relations can be combined
to get relations compatible with the tree language equivalence, which
can subsequently be used for an efficient size reduction of
nondeterministic tree automata. This is of a very high interest, for
instance, for symbolic verification methods such as regular model
checking, which use tree automata to represent infinite sets of
reachable configurations. We provide experimental results showing the
efficiency of our algorithms on examples of tree automata taken from
regular model checking computations. 
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 = {93108},
booktitle = {Tools and Algorithms for the Construction and Analysis of
Systems},
series = {LNCS 4963},
year = {2008},
location = {Berlin, DE},
publisher = {Springer Verlag},
ISBN = {9783540787990},
language = {english},
url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8575}
} 
