做可识别语言。当状态集合 "Q" 是有限的时候，自动机被称为有限状态自动机，而所有可识别的语言是正则语言。事实上，有一个强等价: 对于所有正则语言，都有一个有限状态自动机，反之亦然。如上所述，集合 "Q" 不必须是有限或可数的；它可以采用一般的拓扑空间；这就得到了一般的拓扑自动机。另一种可能的推广是度量自动机或“几何自动机”。在这种情况下，改变了对语言的接受: 替代在 formula_26 中的最终状态的集合包含，以在最终状态 formula_27 和集合 formula_25 之间的度量距离的方式