Active Learning of Nondeterministic Finite State Machines

Figure 2

The ONFSM conjecture 𝑀₀⁽¹⁾ from Table 2.