发动机 达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik） 莱布尼茨国际信息学论文集 1868-8969 2012-02-24 88 99 10.4230/LIPIcs公司。STACS.2012.88标准 文章 法国巴斯诺 大卫，朱利安 安德烈亚·斯佩蒂埃洛 我们确定了极小自动机的渐近比例，在k字母上的n状态可访问确定性完备自动机字母表，在可能的转换上具有均匀分布结构和终端状态的二项式分布任意参数b。结果是分数~1-C（k，b）自动机的n^{-k+2}是最小的，C（k，b）是一个函数，显式地确定，涉及超越方程的解。 https://drops.dagstuhl.de/storage/00lipics/lipics-vol014-stats2012/lipics.STACS.2012.88/lipics.STACS 2012.88.pdf 最小自动机 常规语言 随机结构的计数