多项式识别ω-自动机
摘要：在多项式时间和数据的限制下，我们研究了对于ω-自动机模型的辨识问题。在消极方面，我们证明了非确定性ω-自动机（Buchi、coBuchi、Parity、Rabin、Streett和Muller类型）无法在多项式时间内学习并得到辨识。在积极方面，我们证明了由确定性Buchi、coBuchi、Parity、Rabin、Streett和Muller接受机定义的ω-语言类别IB、IC、IP、IR、IS和IM，其与其右等价自动机同构并且可以在多项式时间和数据内得到辨识。 我们给出了确定性Buchi、coBuchi、Parity、Rabin、Streett和Muller接受机的多项式时间包含和等价算法，用来说明IB、IC、IP、IR、IS和IM的特征样本可以在多项式时间内构建。 我们还提供了多项式时间算法来测试给定类型X（X∈{B、C、P、R、S、M}）的确定性自动机是否属于IX类（即是否识别出一个具有同构于其右等价自动机的语言）。
作者：Dana Angluin and Dana Fisman and Yaara Shoval
论文ID：2209.09336
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-09-21