我们确定了极小自动机的渐近比例，在

k字母上的n状态可访问确定性完备自动机

字母表，在可能的转换上具有均匀分布

结构和终端状态的二项式分布

任意参数b。结果是分数~1-C（k，b）

自动机的n^{-k+2}是最小的，C（k，b）是一个函数，显式地

确定，涉及超越方程的解。