布齐确定化优化
摘要：Schewe提出了一种通过使用历史树来构建等价确定性Rabin转换自动机的方法，从而将具有$n$个状态的给定Büchi自动机的主要接受机制与具体接受条件分离开来，该方法的状态复杂度为$o((1.65n)^n)$，可以简单地转化为具有$o((2.26n)^n)$个状态的标准Rabin自动机。与Safra的方法相比，Schewe的方法更简单，但付出的代价是使用了$2^{n-1}$个Rabin对（而不是Safra的$n$个）。此外，通过引入针对有序树的“后序引入记录”，构建了具有奇偶接受条件的确定性自动机，其与Piterman的确定化方法完全相似，其中状态复杂度为$O((n!)^2)$，指数复杂度为$2n$。本文对Schewe的方法进行了改进，将Rabin对数量改为$2^{\lceil (n-1)/2 \rceil}$，状态复杂度不变。同时，还提出了一种新的奇偶自动机确定化方法，其状态复杂度为$o(n^2(0.69n\sqrt{n})^n)$，指数复杂度为$n$。
作者：Cong Tian and Zhenhua Duan
论文ID：1404.1436
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-12-25