有限状态自动机可用5元组(VT，Q，δ，q0，Qf)来描述，它可对应于(28)。设有一有限状态自动机M的定义如下：

VT＝{0，1}，Q＝{q0，q1，q2)

δ定义为：

δ(q0，0)=q1 δ(q1，0)=q2

δ(q2，1)=q2 δ(q2，1)=q2

Qf={q2}。

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

A．0型文法

B．1型文法

C．2型文法

D．3型文法