** Next:** Random automata.
** Up:** Treatment of Epsilon Moves
** Previous:** Implementation

#

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. ^{5}

**Subsections**

*2000-07-10*