有限状态自动机可用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) 。

4（）

A．(0|1)*

B．00(0|1)*

C．(0|1)*00

D．0(0|1)*0