计算理论考试题解与文法转换分析.pdfVIP

Q.1

S→|aA|bB

A→|bB

B→|aA

Q2

(a)Eliminateproductions

S→AB|B|aB

A→aab

B→bbA|bb

(b)Eliminateunitproductions

S→AB|bbA|aB|bb

A→aab

B→bbA|bb

(c}Introducenewvariab

S→AB|HHA|GB|HH

A→GGH

B→HHA|HH

G→a

H→b

whichisfurtherchangedto

S→AB|TA|GB|HH

A→UH

B→TA|HH

G→a

H→b

T→HH

U→GH

Q.3

CSC6500计算理论2014年冬季

第一次考试‑解决方案

Q.1S→|

aA|bBA→|

bBB→|

aA

Q2(a)消除产生式S→AB|

B|aBA→aabB→bbA|bb(b)

消除单位产生式

S→AB|bbA|aB|bbA→aabB→

bbA|bb(c}引入新变量S→

AB|HHA|GB|HHA→GGHB→

HHA|HHG→aH→b

进一步更改至S→AB|

TA|GB|HHA→UHB→TA|HHG

→aH→bT

→HHU→GH

Q.3

Q.4

Startstateis{1,2}.

{1,2},a,{1,2,3}

b,{1,2}

{1,2,3},a,{1,2,3}

b,{1,2,4}

{1,2,4},a,{1,2,3}

b,{1,2,3}

{1,2,4}istheonlyacceptingstate.

Q.5

(aababb)*aba(ab)*

Q.6

(a)(abaabb)*aaa(babaab)*

(b)(aaabbabb)*bba(ab)*

(c)(ab)*c(bc)*a(ac)*b

(d)aba(ab)*ab(ab)*b

(e)*ab)*b*(a)Or,alternatively:(b*(ab)*)*(a)

CSC6500计算理论2014年冬季第一次考试‑‑续

Q.4

一、

一、

一、

{1,2,4}是唯一的接受状态。

Q.5(aababb)*aba(a

b)*

问题6(a)(abaabb)*aaa(babaab)*(b)(aaab

babb)*bba(ab)*(c)(ab)*c