有限状态自动机可用5元组(V_T，Q，δ，q₀，Q_f)来描述，它可对应于 (1) 。设有一有限状态自动机M的定义如下：

V_T＝0，1，Q＝q₀，q₁，q₂)

δ定义为：

δ(q₀，0)=q₁ δ(q₁，0)=q₂

δ(q₂，1)=q₂ δ(q₂，1)=q₂

Q_f=q₂。

M是一个 (2) 有限状态自动机，它所对应的状态转换图为 (3) ，它所能接受的语言可以用正则表达式表示为 (4) ，其含义为 (5) 。

3（）注：其中“-”表示开始状态，“+”表示终止状态。

A.A

B.B

C.C

D.D