关于用许多团和共团补充非模糊自动机和图的论文
摘要：存在一个具有n个状态的非模糊有限自动机，存在一个具有 (n+1)倍的 2^(n/2)个状态的非模糊有限自动机，能够识别互补语言。这个结果是基于Jir''asek等人的类似结果 [Int. J. Found. Comput. Sci. 29 (5) (2018)] 建立并改进的。我们的改进是基于从极限图论的一个问题的归约和分析：对于任何具有n个顶点的图，其全团数量与反全团数量（独立集）的乘积被界定为 (n+1) 2^n。
作者：Emil Indzhev and Stefan Kiefer
论文ID：2105.07470
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-03-17