Backward and Forward Bisimulation Minimisation of Tree Automata
From MaRDI portal
Publication:3503899
DOI10.1007/978-3-540-76336-9_12zbMath1139.68363MaRDI QIDQ3503899
Andreas Maletti, Johanna Högberg, Jonathan May
Publication date: 10 June 2008
Published in: Implementation and Application of Automata (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-76336-9_12
Related Items
A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata, Computing Simulations over Tree Automata, Weak bisimulations for fuzzy automata, Bisimulations for fuzzy automata, On the greatest solutions to weakly linear systems of fuzzy relation inequalities and equations, Computation of the greatest simulations and bisimulations between fuzzy automata, Backward and forward bisimulation minimization of tree automata, Nondeterministic automata: equivalence, bisimulations, and uniform relations, Fuzzy relation equations and reduction of fuzzy automata, Minimizing deterministic weighted tree automata
Uses Software