有限状态自动机可用五元组(∑,Q,δ,q0,Qf)来描述,设有一个有限状态自动机M的定义如下:∑={0,1},Q={q

有限状态自动机可用五元组(∑，Q，δ，q0，Qf)来描述，设有一个有限状态自动机M的定义如下：∑={0,1}，Q={q0，q1，q2}，Qf={q2}，δ定义为：δ(q0，0)=q1，δ(q1，0)=q2，6(q2，0)=q2，δ(q2，1)=q2。M是一个(28)有限状态自动机，所表示的语言陈述为(29)。