BISIMULATION MINIMIZATION OF TREE AUTOMATA
From MaRDI portal
Publication:3503087
DOI10.1142/S0129054107004929zbMath1143.68428MaRDI QIDQ3503087
Lisa Kaati, Johanna Högberg, Parosh Aziz 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
68Q45: Formal languages and automata
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
A Congruence-Based Perspective on Finite Tree Automata, Tree Process Calculus, Unnamed Item, Backward and forward bisimulation minimization of tree automata, MINIMIZATION OF PLANAR DIRECTED ACYCLIC GRAPH ALGEBRAS
Cites Work