Active Learning of Nondeterministic Finite State Machines

Table 2

Closed observation table.

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