Active Learning of Nondeterministic Finite State Machines

Figure 4

Random ONFSM examples learned with normal 𝐿^∗_𝑁𝑀 and with optimization, using |𝐼|=10, |𝑂|=5, and 𝑘=20.