Research Article

Active Learning of Nondeterministic Finite State Machines

Table 5

Comparison of normal with the optimized version using the random ONFSM examples.

No. of statesOutput queriesOutput queries (with opt.)Saved queries (%)

10220001262043
20442002602041
30662003876041
40874005090042
501092006764038
601322008176038
701585529495040
8017620210836638
9019820012796035
10022240213854638