Next: Random automata.
Up: Treatment of Epsilon Moves
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 . 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. 5