Active Learning of Nondeterministic Finite State Machines

Table 1

Example of an observation table.

𝑇1	𝐸
	𝑎	𝑏
𝑆
𝜖	𝑦	𝑦
𝑆⋅𝐼/𝑂
𝑎/𝑦	𝑦	𝑥,𝑦
𝑏/𝑦	𝑦	𝑦