依据规则Ⅱ进行文法推导:

VT:δ(q0, a) = (q0, λ ),δ(q0, b,b) = (q0, λ ),δ(q0, c) = (q0, λ ),δ(q0, d) = (q0, λ )

以 x=caadbb 为例,根据规则Ⅰ和Ⅱ合成新规则进行推导:

(q0, S ) →无(先输入空格λ),由此得到

(q0, S) (q0, CA) (q0,aAb) (q0,aAbb) (q0,dbb) (q0,b ) (q0, λ)

完成推导。