认证有限自动机的识别和分离界限
摘要：确定性有限自动机识别给定语言所需的状态数的证书生成是基于回合制两人游戏的确定性的。证书由证明者生成，这些证书是最小的确定性有限自动机；由驳斥者生成的证书是试图定义所需的有限自动机的错误尝试。我们比较了在线证书和离线证书的长度，离线证书是在证明者和驳斥者之间没有交互的情况下生成的，而在线证书是基于这种交互生成的，因此更短。我们证明了我们的方法在证书化给定大小的确定性有限自动机的正则语言的分离性问题中非常有效。与可在多项式时间内解决的有限自动机最小化不同，分离性问题是NP完全的，因此证书化方法是必需的。此外，我们证明了严格版本的分离性问题的NP完全性。
作者：Orna Kupferman and Nir Lavee and Salomon Sickert
论文ID：2107.01566
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-01-20