从正例和反例构建确定性奇偶自动机
摘要：从给定的一组正和负的最终周期示例词构建一个确定性偶素自动机(DPA)的多项式时间算法。我们证明了这个算法对于omega正则语言这一类是完备的，也就是说，它可以为每个正则omega语言学习一个DPA。为了在算法中使用，我们给出了DPA的一个定义，我们称之为语言的精确DPA，并且证明它可以由该语言的句法右等价关系族（Maler和Staiger于1997年引入）构建。根据语言的结构，精确的DPA可能相对于最小的DPA是指数级别的大小，但它也可能是最小的DPA。我们得到的上界表明，对于我们的算法找到$L$的DPA所需的示例数通常是最小DPA大小的指数级。然而，我们确定了正则omega语言的两个参数，当这些参数固定时，上界将是多项式的。
作者：Le''on Bohn, Christof L"oding
论文ID：2302.11043
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-06-21