测试除法的状态复杂度
摘要：对于广泛类的线性计数系统，基于一些温和的假设，我们研究了接受m >= 2的倍数的贪心表示的最小有限状态自动机的状态复杂度。作为一个例子，在Fibonacci系统中，接受m的倍数的贪心表示的最小有限状态自动机的状态数正好为2m^2。
作者：Emilie Charlier, Narad Rampersad, Michel Rigo, Laurent Waxweiler
论文ID：1008.1668
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2010-08-11