使用观测表学习剩余有限状态自动机

摘要:基于观察表,我们为RFSAs定义了一个两步学习器,利用最小DFAs算法构建了一个问题语言的反转表,并通过简单的修改后得到了最小RFSA。我们将算法与另外两个基于表的算法进行了比较,其中一个直接推断RFSA(由Bollig等人于2009年提出),另一个是作者提出的另一个两步学习器。我们重点关注查询复杂性的标准。

作者:Anna Kasprzik (University of Trier)

论文ID:1008.1663

分类:Formal Languages and Automata Theory

分类简称:cs.FL

提交时间:2010-08-11

PDF 下载: 英文版 中文版pdf翻译中