ormula_3 接受的语言 formula_22 是:就是说，一个自动机所接受的语言是在字母表 formula_1 之上所有字 "w" 的集合，当给定为自动机的输入的时候，将导致它停止于 formula_25 中的某个状态。被自动机接受的语言叫做可识别语言。当状态集合 "Q" 是有限的时候，自动机被称为有限状态自动机，而所有可识别的语言是正则语言。事实上，有一个强等价: 对于所有正则语言，都有一个有限状态自动机，反之亦然。如上所述，集合 "Q" 不必须是有限或可数的；它可以采用一般的拓扑空间；这