Publication Details

Computing Simulations over Tree Automata: Efficient Techniques for Reducing Tree Automata

HOLÍK, L.; VOJNAR, T.; ABDULLA, P.; BOUAJJANI, A.; KAATI, L. Computing Simulations over Tree Automata: Efficient Techniques for Reducing Tree Automata. FIT-TR-2008-001, Brno: 2008. p. 0-0.
Czech title
Výpočet simulací nad stromovými automaty: Efektivní techniky redukce stromových automatů
Type
report
Language
English
Authors
Holík Lukáš, doc. Mgr., Ph.D. (DITS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Abdulla Parosh
Bouajjani Ahmed
Kaati Lisa
URL
Keywords

finite tree automata, simulation, size reduction, combination of simulation relations

Abstract

We address the problem of computing simulation relations over treeautomata. In particular, we consider downward and upward simulations ontree automata, which are, loosely speaking, analogous to forward andbackward relations over word automata. We provide simple and efficientalgorithms for computing these relations based on a reduction to theproblem of computing simulations on labelled transition systems.Furthermore, we show that downward and upward relations can be combinedto get relations compatible with the tree language equivalence, whichcan subsequently be used for an efficient size reduction ofnondeterministic tree automata. This is of a very high interest, forinstance, for symbolic verification methods such as regular modelchecking, which use tree automata to represent infinite sets ofreachable configurations. We provide experimental results showing the efficiency of our algorithms on examples of tree automata taken fromregular model checking computations.

Published
2008
Pages
34
Place
FIT-TR-2008-001, Brno
BibTeX
@techreport{BUT63912,
  author="Lukáš {Holík} and Tomáš {Vojnar} and Parosh {Abdulla} and Ahmed {Bouajjani} and Lisa {Kaati}",
  title="Computing Simulations over Tree Automata: Efficient Techniques for Reducing Tree Automata",
  year="2008",
  address="FIT-TR-2008-001, Brno",
  pages="34",
  url="http://www.fit.vutbr.cz/~vojnar/Publications/abhkv-simtree-tr-07.pdf"
}
Back to top