阿扎德法尔赞;陈玉芳;埃德蒙·克拉克。;蔡义权;王，弯腰 将自动组合验证扩展到整个omega正则语言类。 （英语） Zbl 1134.68406号 Ramakrishnan，C.R.（编辑）等人，《系统构建和分析的工具和算法》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第14届国际会议TACAS 2008，是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78799-0/pbk）。计算机科学课堂讲稿4963，2-17（2008）。 摘要：最近的研究表明学习对自动成分验证的适用性。然而，当前的学习算法在学习活性属性方面存在不足。我们扩展了无限语言的自动机合成范式，提出了一种算法来学习字母表（Sigma）上无限序列的任意正则集（欧米伽正则语言）。我们的主要结果是一个学习识别未知正则语言的非确定性Büchi自动机的算法。这是通过使用Anguin建议的用于学习（Sigma^{*}）正则子集的框架，在\（Sigma ^{*{）上学习它的唯一投影来实现的。有关整个系列，请参见[Zbl 1133.68009号]. 引用于2评论引用于24文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 第68季度32 计算学习理论 65年第68季度 形式语言和自动机 软件：LTL2BA公司 PDF格式BibTeX公司 XML格式引用 \textit{A.Farzan}等人，Lect。注释计算。科学。4963，2--17（2008年；Zbl 1134.68406） 全文： 内政部