何自动机”。在这种情况下，改变了对语言的接受: 替代在 formula_26 中的最终状态的集合包含，以在最终状态 formula_27 和集合 formula_25 之间的度量距离的方式给出。特定类型的概率自动机是度量自动机，其度量空间是在概率空间上的测量。
有限自动机的分类.下面是三类有限自动机尽管可以证明所有这些自动机都“可以接受同样的语言”。你总是可以构造接受与给定的 NFA M 同样语言的某个 DFA M。
有限自动机的扩展.上述自动机接受