Bisimulation Minimization of Tree Automata
From MaRDI portal
Publication:5757232
DOI10.1007/11812128_17zbMath1160.68395OpenAlexW2141408630MaRDI QIDQ5757232
Lisa Kaati, Johanna Högberg, Parosh Aziz Abdulla
Publication date: 6 September 2007
Published in: Implementation and Application of Automata (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11812128_17
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (3)
Backward and forward bisimulation minimization of tree automata ⋮ A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata ⋮ Computing Simulations over Tree Automata
This page was built for publication: Bisimulation Minimization of Tree Automata