LStar-Learning-Algorithm

L*学习算法的实现

---

介绍

关于Angluin's L*学习算法的C++(11)代码实现, L*学习算法请参考英文论文1和中文论文2

---

运行DEMO

已(01)*为例，可识别字符串为: "01", "0101", "010101", "01010101", ...

输入sigema集合，以"end"结束.
0 1 end
字母集构造完毕...

输入U集合，以"end"结束.
01 0101 010101 01010101 end
U集合构造完毕...

S[状态]集合:
ϵ 0
F[终态]集合:
ϵ
delta[转移]集合:
( ϵ , 0 ) = 0
( ϵ , 1 ) = 0
( 0 , 0 ) = 0
( 0 , 1 ) = ϵ
自动机是否正确, y/n
n
请输入反例:
11
反例加入成功, 继续执行.
S[状态]集合:
ϵ 0
F[终态]集合:
ϵ
delta[转移]集合:
( ϵ , 0 ) = 0
( 0 , 1 ) = ϵ
自动机是否正确, y/n
y
程序结束.