摘要：从偶数自动机到非确定性布齐自动机的紧致确定化和补充的连接及其证明（直到$O(n)$因子，其中$n$是非确定性偶数自动机的大小，该因子不依赖于优先级的数量）
作者：Sven Schewe, Thomas Varghese
论文ID：1406.1090
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-09-12
PDF 下载： 英文版 中文版pdf翻译中