From Generic Partition Refinement to Weighted Tree Automata Minimization

Thorsten Wißmann, Hans-Peter Deifel, Stefan Milius +1

Partition refinement is a method for minimizing automata and transition systems of various types. Recently, we have developed a partition refinement algorithm that is generic in th…