Experiments

Two sets of experiments have been performed. In the first set of experiments, random automata are generated according to a number of criteria based on [11]. In the second set of experiments, results are provided for a number of (much larger) automata that surfaced during actual development work on finite-state approximation techniques. ⁵