不完整 DFA 的过渡复杂度

摘要:基于不完全确定有限自动机,我们考虑正则语言的转换复杂度。我们得到了一些关于布尔运算的结果。通过证明,我们发现并集和补集的转换复杂度结果与同一运算符的状态复杂度结果非常不同。然而,对于交集,转换复杂度结果与状态复杂度结果相似。

作者:Yuan Gao (The University of Western Ontario), Kai Salomaa (Queen's University), Sheng Yu (The University of Western Ontario)

论文ID:1008.1652

分类:Formal Languages and Automata Theory

分类简称:cs.FL

提交时间:2010-08-11

PDF 下载: 英文版 中文版pdf翻译中