- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
0， 00，10 000，010，100 ……
具体字符串 －> 状态转换图
A
1
0
DFA=（{S，A，Z}， {0，1}，M，S，{Z}） 0 Z 其中M： M（S，0）=Z M（S，1）= A M（A，0）=Z M（Z，0）=Z M（Z，1）=A 该语言的正规文法G[Z]为： 右线性文法：//S：：=0|1A|0Z 左线性文法：//S：：=0|A0|Z0 A：：=0|0Z A：：=1|Z1 Z：：=0|1A|0Z Z：：=0|A0|Z0
b
A
c
S
a
E
正规文法(右线性)－>FA P61
P74 10. 已知正规文法G = ({S, B, C}, {a, b, c}, P, S)，其中P内包含如下产生式： S::=aS | aB ……① B::=bB | bC ……② C::=cC | c ……③ 请构造一个等价的有穷自动机。 解：M=({S, B, C, T}, {a, b, c}, M, {S}, {T}) M (S, a)=S M (S, a)=B M (S, b)=ø M (S, c)=ø M (B, a)=ø M (B, b)=B M (B, b)=C M (B, c)=ø M (C, a)=ø M (C, b)=ø M (C, c)=T M (C, c)=C
0 0 0 1 1, 2 1 3 0 4 1 0
5
1
1
由正规式构造正规集P63
P74 19. Σ＝{a, b}，写出下列正规集： （1）(a | b)*(aa | bb)(a | b)* 解：L((a | b)*(aa | bb)(a | b)*) = L((a | b)*) L((aa | bb)) L((a | b)*) =(L (a | b))* {aa, bb} (L (a | b))* = {a, b}*{aa, bb}{a, b}*
{X}
{X, Z, Z’} {Y}
{Z, Z’}
{X, Z, Z’} {X, Y}
{X}
{X, Y} Ф
2
3 4
1
3 5
2
5 Ф
{X, Y}
{X, Y, Z, Z’}
{X}
{X, Y}
5
6
6
6
2
5
{X, Y, Z, Z’} {X, Y, Z, Z’}
先化简，分为非终态集 {2, 4, 5, 0} 和终态集 {6, 1, 3}， 易于发现可划分为{0, 2}，{1}，{3, 6}，{4}，{5}，其DFA如下所示：
《编译原理》第三章习题解答
版权所有：南京邮电大学计算机学院
声明：希望同学们不要将此解答拷贝给 他人，请大家保持诚信！
第四次作业：
P74 2、4、5、6
第4题 考察范围：左线性文法 －> 状态转换图P47 第5题 考察范围：右线性文法 －> 状态转换图P48 第6题 左线性文法 －> 状态转换图， 状态转换图 －>FA(DFA/NFA)
第六次作业：
P75－76 11、15、16、18、19（1）、20（1）（3）
第11题 由正规式构造DFA P65、66 第15题 NFA构造DFA P57（状态图）P65（转换系统图） 第16、20题 两个正规式的等级关系P63 （若两个正规式表达的正规集相等则两者等价） 第18题 正规文法构造相应正规式 P63 第19题 由正规式构造正规集P63
P74 11. 构造下列正规式相应的DFA： （1）1(0|1)*101 【老书】 解：先构造该正规式的转换系统：
1(0|1)*101 S Z
由正规式构造DFA
P65、66
S
1
1
(0|1)*
3
1
4
0
5
1
Z
0 S 1 1 ε 2
ε
1
3
1
4
0
5
1
Z
由上述转换系统可得状态转换集K={S, 1, 2, 3, 4, 5, Z}，状态子集转换矩阵如下表所示： I {S} {1, 2, 3} {2, 3} {2, 3, 4} {2, 3, 5} {2, 3} {2, 3} {2, 3, 5} {2, 3} I0 I1 {1, 2, 3} {2, 3, 4} {2, 3, 4} {2, 3, 4} {2, 3, 4, Z} S 0 1 2 3 4 2 2 4 2 0 1 1 3 3 3 5
第五次作业：
P74 7、8、9、10
第7题 具体字符串 －> 状态转换图 状态转换图－>正规文法（右线性） 第8题 NFA－>DFA 第9题 DFA－>右线性文法 右线性文法－>左线性文法 第10题 正规文法(右线性)－>DFA
P74 状态转换图－>正规文法（右线性） 7. 构造一个DFA，它接受{0，1}上所有满足下述条件的字符串， 其条件是：字符串中每个1都有0直接跟在右边，然后，再构造该 语言的正规文法。
0
1 0
0
2 1
3
0
1 0
4, 6
1
1
0
第二种方法：先构造其对应的转换系统
ε 0 0
S 1
由上述转换系统可得状态转换集、 状态子集转换矩阵如下表所示：
Z
ε
Z’
X 0 1 Y 0 0
I {S, X} {Z, Z’}
I0 {Z, Z’} {X, Z, Z’}
I1 {X} {Y}
S 0 1
0 1 3
1 2 4
P74 12. 将图3.24非确定有穷自动机NFA确定化和最少化。
a a, b
解：设(DFA)M = {K, VT, M, S, Z}， 其中，K={[0], [0, 1], [1]}，VT ={a, b}， M： M ([1], a) =[0] M ([1], b) =Ф M ([0, 1], a) =[0, 1] M ([0, 1], b) =[1] M ([0], a) =[0, 1] M ([0], b) =[1] S=[1]， Z={[0], [0, 1]}
{2, 3, 4, Z} {2, 3, 5}
{2, 3, 4}
5
4
3
其应的DFA状态转换图为：
0 1 0 2 1 3 1 0 0 1 1 5
0
1
1
4
0
现在对该DFA进行化简，最终得到下列化简后的状态转换图 （先将其分成两组——终态组{5}和非终态组{0, 1, 2, 3, 4}， 再根据是否可继续划分来确定最后的组数）：
可以进一步化简，把M’的状态分成终态组{1，2}和非终态组{0} 由于{1，2}a={1，2}b={2}
{1，2}，不能再划分。至此，整个划分含有两组{1，2}{0} 令状态1代表{1，2}，化简如图：
DFA－>右线性文法 P61 右线性文法－>左线性文法 P50
P74 9. 设有穷自动机M = ({S, A, E}, {a, b, c}, M, S, {E})，其中M定义为 M (S, c) = A M (A, b) = A M (A, a) = E 请构造一个左线性文法。 解：方法一： 先求右线性文法 S→cA A→bA A→a | aE 其左线性文法G=（VN, VT, P, S） VN={A, S} VT={a, b, c} P: A→c A→Ab S→Aa {E→aA实际上是多余的规则，应该去掉 } 方法二： 状态转换图
0 Z 1 0 0 Y 0
I I0 I1 S 0 1
NFA构造DFA P57（状态图）P65（转换系统图）
0 X 1
假设(DFA) M’=(K’, VT’, M’, S’, Z’)， 其中K’={[X], [Y], [Z], [X,Y], [X, Z], [Y, Z], [X, Y, Z]}， VT’={0, 1}，M’的规则如下表：
[X]
[Y] [Z] [X, Y]
[Z]
[X, Y] [X, Z] [X, Y, Z]
[X]
Ф [Y] [X]
0
1 2 3
2
3 4 6
0
Ф 1 0
[X, Z]
[Y, Z]
[X, Z]
[X, Y, Z]
[X, Y]
[Y] [X, Y]
4
5 6
4
6 6
3
1 3
[X, Y, Z] [X, Y, Z]
其中[Y, Z]为不可到达状态，应该删去， 所以S’={[X]}，Z’={[Z], [X, Z], [X, Y, Z]}，再进行化简， 发现4和6两状态等价，最后其DFA如下所示：
0
1
S
NFA－>DFA P59 P74 8. 设 (NFA) M = ( {A, B}, {a, b}, M, {A}, {B} )，其中M定义如下：
M (A, a) = {A, B} M (A, b) = {B} M (B, a) = ø M (B, b) = {A, B} 请构造相应确定有穷自动机(DFA) M’。 解：构造一个如下的自动机(DFA) M’， (DFA) M’={K, {a, b}, M’, S, Z} K的元素是[A] [B] [A, B] 由于M（A, a）={A, B}，故有M’（[A], a）=[A, B] 同样 M’（[A]，b）=[B] M’（[B]，a）= ø M’（[B]，b）=[A，B] 由于M（{A，B}，a）= M（A，a）U M（B，a）= {A，B}U ø= {A，B} 故 M’（[A，B]，a）= [A，B] 由于M（{A，B}，b）= M（A，b）U M（B，b）={B}U {A，B} = {A，B} 故 M’（[A，B]，b）= [A，B] S=[A]，终态集Z={[A，B]，[B]} 重新定义：令0=[A] 1=[B] 2=[A, B]， 则DFA如下所示：
![材料力学习题解答[第三章]](https://img.taocdn.com/s1/m/9aaf97500c22590103029d47.png)
