通过RPNI算法的扩展从示例中构建确定性ω-自动机
摘要：从负例和正例单词的有限集构造确定性有限自动机的RPNI算法（Oncina，Garcia 1992）。我们提出并分析了这个算法的扩展，将其应用于具有不同接受条件的确定性ω-自动机。为了获得这个RPNI的推广，我们开发了用于标准接受条件的ω-自动机的算法，该算法检查给定的示例单词集和确定性过渡系统，确定这些示例单词是否可以在过渡系统中以对应的接受条件接受。基于这些算法，我们可以定义RPNI对无限单词的扩展。我们证明，它可以在有限时间和数据的极限情况下学习所有具有信息化右合同性的确定性ω-自动机。我们还证明，尽管该算法可以学习一些没有信息化右合同性的自动机，但它无法在极限情况下学习所有正则ω-语言的确定性ω-自动机。最后，我们还证明，对于具有信息化右合同性的自动机，通过成员资格和等价查询进行主动学习并不比对于一般的确定性ω-自动机更容易。
作者：Le''on Bohn, Christof L"oding
论文ID：2108.03735
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-08-10