以重新构造一个 formula_19，因此两个描述是等价的。三元组 formula_20 被称为半自动机。半自动机位于自动机底下，它们就是忽略了开始状态和接受状态的自动机。开始状态和接受状态的补充概念允许自动机做半自动机不能做的事情: 它们可以识别形式语言。确定有限自动机 formula_3 接受的语言 formula_22 是:就是说，一个自动机所接受的语言是在字母表 formula_1 之上所有字 "w" 的集合，当给定为自动机的输入的时候，将导致它停止于 formula_25 中的某个状态。被自