Sciweavers

WIA
2005
Springer

Minimization of Non-deterministic Automata with Large Alphabets

14 years 5 months ago
Minimization of Non-deterministic Automata with Large Alphabets
There has been several attempts over the years to solve the bisimulation minimization problem for finite automata. One of the most famous algorithms is the one suggested by Paige and Tarjan. The algorithm has a complexity of O(m log n) where m is the number of edges and n is the number of states in the automaton. A bottleneck in the application of the algorithm is often the number of labels which may appear on the edges of the automaton. In this paper we adapt the Paige-Tarjan algorithm to the case where the labels are symbolically represented using Binary Decision Diagrams (BDDs). We show that our algorithm has an overall complexity of O( · m · log n) where is the size of the alphabet. This means that our algorithm will have the same worst case behavior as other algorithms. However, as shown by our prototype implementation, we get a vast improvement in performance due to the compact representation provided by the BDDs.
Parosh Aziz Abdulla, Johann Deneux, Lisa Kaati, Ma
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where WIA
Authors Parosh Aziz Abdulla, Johann Deneux, Lisa Kaati, Marcus Nilsson
Comments (0)