成为共布奇的代价是非线性的
摘要：非确定性Büchi自动机无法被非确定性co-Büchi自动机模拟的事实是众所周知且容易理解的。我们展示了一个非确定性Büchi自动机和一个非确定性co-Büchi自动机的模拟关系存在的情况下，所需的状态数量可以呈非线性增长。更具体地说，我们展示了一个由n个状态的非确定性Büchi自动机模拟的，但不能被任何少于c*n^{7/6}个状态的非确定性co-Büchi自动机模拟的语言序列，其中c为某个常数。这改进了先前已知的最佳下界3(n-1)/2。
作者：Jerzy Marcinkowski, Jakub Michaliszyn
论文ID：0906.0072
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2009-06-07