摘要：基于b进制数可被k整除的集合，我们提出并证明了一个定理，回答了一个问题：“最小确定有限自动机（DFA）需要多少个状态来识别这个集合？”
作者：Boris Alexeev
论文ID：cs/0309052
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-06-13
PDF 下载： 英文版 中文版pdf翻译中