使用观测表学习剩余有限状态自动机
摘要:基于观察表,我们为RFSAs定义了一个两步学习器,利用最小DFAs算法构建了一个问题语言的反转表,并通过简单的修改后得到了最小RFSA。我们将算法与另外两个基于表的算法进行了比较,其中一个直接推断RFSA(由Bollig等人于2009年提出),另一个是作者提出的另一个两步学习器。我们重点关注查询复杂性的标准。
作者:Anna Kasprzik (University of Trier)
论文ID:1008.1663
分类:Formal Languages and Automata Theory
分类简称:cs.FL
提交时间:2010-08-11