BISIMULATION MINIMIZATION OF TREE AUTOMATA

DOI10.1142/S0129054107004929MaRDI QIDQ3503087zbMATH OpenOpenAlexFDO

Authors Johanna Högberg, Lisa Kaati, Parosh A. Abdulla

Publication date 20 May 2008

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0129054107004929

zbMATH Keywords

bisimulationminimizationtree automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Bisimulation Minimization of Tree Automata
• Backward and forward bisimulation minimization of tree automata
• Backward and Forward Bisimulation Minimisation of Tree Automata
• Implementation and Application of Automata
• Bisimulation Minimisation for Weighted Tree Automata

Cites work

• Minimal Ascending and Descending Tree Automata
• Symbolic model checking with rich assertional languages
• Three Partition Refinement Algorithms
• Tree regular model checking: a simulation-based approach

Cited in

(15)

• Bisimulations and behaviour of nondeterministic automata
• Minimization of planar directed acyclic graph algebras
• COMPOSED BISIMULATION FOR TREE AUTOMATA
• Backward and Forward Bisimulation Minimisation of Tree Automata
• ON TRANSITION MINIMALITY OF BIDETERMINISTIC AUTOMATA
• Some Minimality Results on Biresidual and Biseparable Automata
• Composed Bisimulation for Tree Automata
• scientific article; zbMATH DE number 139615 (Why is no real title available?)
• scientific article; zbMATH DE number 1339962 (Why is no real title available?)
• A congruence-based perspective on finite tree automata
• Tree process calculus
• On Transition Minimality of Bideterministic Automata
• scientific article; zbMATH DE number 7649889 (Why is no real title available?)
• Implementation and Application of Automata
• Backward and forward bisimulation minimization of tree automata

This page was built for publication: BISIMULATION MINIMIZATION OF TREE AUTOMATA

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3503087)