下推自动机接受语言举例

下推自动机接受语言举例

下推自动机能接受语言L(G)={xcx R |x ∈(0, 1)*}，其中x R 为x 首尾倒置构成的字符串，例如x=100，则x R =001。

采用空堆栈方式，则终止状态集无关紧要，故令F={ε}，有 M=(Σ, Q,Γ,δ, q 0, Z 0,Φ)，其中Σ={0, 1, c}，Q={q 1, q 2}，

Γ={R, G , B}，q 0=q 1，Z 0=R

δ：δ(q 1, 0, R)={(q 1, BR)}，δ(q 1, 0, B)={(q 1, BB)}，

δ(q 1, 0, G)={(q 1, BG)}，δ(q 1, 1, R)={(q 1, GR)}，

δ(q 1, 1, B)={(q 1, GB)}，δ(q 1, 1, G)={(q 1, GG)}，

δ(q 1, c, R)={(q 2, R)}，δ(q 1, c, B)={(q 2, B)}，

δ(q 1, c, G)={(q 2, G)}，δ(q 2, 1, G)={(q 2,ε)}，

δ(q 2, 0, B)={(q 2,ε)}，δ(q 2,ε, R)={(q 2,ε)}

对于输入字符串001c100的转移序列：

),(|),(|),(|),(|)

,(|),(|),(|),(|),(220202*********εεq R q BR q BBR q GBBR q GBBR q BBR q BR q R q c −→−−→−−→−−→−−→−−→−−→−−→−