表 formula_1 之上所有字 "w" 的集合，当给定为自动机的输入的时候，将导致它停止于 formula_25 中的某个状态。被自动机接受的语言叫做可识别语言。当状态集合 "Q" 是有限的时候，自动机被称为有限状态自动机，而所有可识别的语言是正则语言。事实上，有一个强等价: 对于所有正则语言，都有一个有限状态自动机，反之亦然。如上所述，集合 "Q" 不必须是有限或可数的；它可以采用一般的拓扑空间；这就得到了一般的拓扑自动机。另一种可能的推广是度量自动机或“几何自动机”。在这种情况下，改变了对语