一种基于 DFA 族与分类树的 Büchi 自动机新型学习算法
形式语言与自动机理论
2017-01-18 v2
摘要
在本文中，我们提出了一种从知晓某 -正规语言的教师处学习 Büchi 自动机的新算法。该算法基于学习 Angluin 和 Fisman[10] 最近提出的一种名为 DFA 族（FDFAs）的形式化方法。关键在于，我们使用分类树结构代替了标准的观察表结构。我们算法所需的最坏情况存储空间比 [10] 中提出的基于表的算法在二次量级上更优。我们实现了首个公开可用的库 ROLL（Regular Omega Language Learning），其中包含文献中所有可用的 -正规学习算法以及本文提出的新算法。实验结果表明，在已解决学习任务的数量方面，我们基于树的算法性能优于其他算法。
引用
@article{arxiv.1610.07380,
title = {A Novel Learning Algorithm for B\"uchi Automata based on Family of DFAs and Classification Trees},
author = {Yong Li and Yu-Fang Chen and Lijun Zhang and Depeng Liu},
journal= {arXiv preprint arXiv:1610.07380},
year = {2017}
}
备注
Accepted by TACAS 2017