摘要：通过对确定有穷自动机的分解进行形式化，开始了一项辅助问题解决的研究。这项研究揭示了有限自动机新类型的分解。证明了存在具有不可分解和完全可分解之间各种程度可分解性的语言。
作者：Peter Gav{z}i, Branislav Rovan
论文ID：0707.0430
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-07-04
PDF 下载： 英文版 中文版pdf翻译中