Five determinisation algorithms

Select |


van Glabbeek, Robert; Ploeger, Bas

van Glabbeek, Robert; Ploeger, Bas


Conference Material

13th International Conference on Implementation and Application of Automata

San Francisco


Determinisation of nondeterministic finite automata is a well-studied problem that plays an important role in compiler theory and system verification. In the latter field, one often encounters automata consisting of millions or even billions of states. On such input, the memory usage of analysis tools becomes the major bottleneck. In this paper we present several determinisation algorithms, all variants of the well-known subset construction, that aim to reduce memory usage and produce smaller output automata. One of them produces automata that are already minimal. We apply our algorithms to determinise automata that describe the possible sequences appearing after a fixed-length run of cellular automaton 110, and obtain a significant improvement in both memory and time efficiency.


Finite automata, determinisation algorithms, memory usage, cellular automaton 110



van Glabbeek, Robert; Ploeger, Bas. Five determinisation algorithms. In: O.H. Ibarra & B. Ravikumar Editor, editor/s. 13th International Conference on Implementation and Application of Automata; San Francisco. Springer; 2008-07-21. 161-170.

Loading citation data...

Citation counts
(Requires subscription to view)