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