形式语言与自动机课后习题答案部分ppt课件

– 真后缀：{, ba, bbba, abbbba, aaabbbba}
来自百度文库
• 注意
– 是任何串的前缀、真前缀、后缀和真后缀；
– 任何串是自身的前缀和后缀，但不是自身的真前缀和 真后缀；
– 注意字母表中的字符的整体性。
2020/4/1
(C)Guohong Fu, CS@HLJU
6
G FH
课后作业一(cont.)
• pp.39-41：L基本概念
– 习题 21 ---字母表
– 习题 22 --- 前/后缀
– 习题 23 --- 前/后缀
– 习题 28(1)(2)(10) --- L的描述
2020/4/1
(C)Guohong Fu, CS@HLJU
3
G FH
课后作业一 (cont.)
• pp.40：习题 21
10
G FH
课后作业二 (cont.)
• pp.84：习题 8
设={0, 1}，构造产生下列语言的文法 (1) 所有以0开头的串； (3) 所有以11开头，以11结尾的串；
• 8(1)解答
– 分析语言的特点: {0x|x{0, 1}*}； – 产生子语言{x|x{0, 1}*}的文法
• A|0A|1A；
形式语言与自动机理论
课后作业讲解
付国宏
黑龙江大学计算机科学技术学院 ghfu@hlju.edu.cn
2020/4/1
(C)Guohong Fu, CS@HLJU
1
G FH
课后作业
• 作业一：pp.39-41 习题 21, 22, 23, 28(1)(2)(10) • 作业二：pp.83-85 习题7(1), 8(3), 9(2) • 作业三：pp.126-130 习题 1, 2(3) (5), 7 • 作业四：pp.128-129 习题 11(1), 15(1) • 作业五：pp.129-130 习题 20, 21, 22 • 作业六：pp.153-155 习题1(5), 2(2), 5(2),
6(图4-24) • 作业七：pp.191 习题2 (1) (2) • 作业八：pp.230 习题11(1), 12(2) • 作业九：pp.233 习题 15 • 作业十：pp.257-258 习题1(1), 8(1)
2020/4/1
(C)Guohong Fu, CS@HLJU
2
G FH
课后作业一
2020/4/1
(C)Guohong Fu, CS@HLJU
7
G FH
课后作业二
• pp.83-85 --- LG
– 习题7(1) --- GL – 习题8(3) --- LG – 习题9(2) --- LG
2020/4/1
(C)Guohong Fu, CS@HLJU
8
G FH
课后作业二 (cont.)
• pp.40：习题 28(1)(2)(10)
– (1) L1={0n1n|n1} --- 表示0和1的个数相同，且所有的0位于1之前， 长度大于1的0、1串的集合
– (2) L2={0n1m|n, m1} ---表示所有的0位于1之前，长度大于1的0、1 串的集合
– (10) L10={0, 1, 00, 01, 10, 11, 000, …} ---表示长度大于0的0、1串的集合
(3) A产生式：AaaA|aaB
– 用产生式AaaA产生句型： (aa)kA(k1); – 结合产生式AaaB产生句型：(aa)kB(k1); – 利用(1)中的结果，
L(A)={(aa)k(bbb)m## (cc)n|k1, m0, n1}
2020/4/1
(C)Guohong Fu, CS@HLJU
• pp.84：习题 7(1)
用自然语言描述下列文法定义的语言
G: AaaA|aaB
BBcc|D#cc
DbbbD|#
• 解题思路
– 观察每个产生式及其组合产生的子语言的特点； – 根据开始符的产生式将它们并起来就是整个文法产生的语言；
• 解答
(1) D产生式：DbbbD|# – 使用DbbbD可产生句型：(bbb)mD (m1); – 进一步使用D#可得：L(D)={(bbb)m#| m0}
– 产生语言{0x|x{0, 1}*}的文法
• 后缀：{, a, ba, bba, bbba, bbbba, abbbba, aabbbba, aaabbbba, aaaabbbba, aaaaabbbba}
• 真后缀：{, a, ba, bba, bbba, bbbba, abbbba, aabbbba, aaabbbba, aaaabbbba}
2020/4/1
(C)Guohong Fu, CS@HLJU
4
G FH
课后作业一(cont.)
• pp.40：习题 22
– 解答
• 前缀：{, a, aa, aaa, aaaa, aaaaa, aaaaab, aaaaabb, aaaaabbb, aaaaabbbb, aaaaabbbba}
• 真前缀：{, a, aa, aaa, aaaa, aaaaa, aaaaab, aaaaabb, aaaaabbb, aaaaabbbb}
2020/4/1
(C)Guohong Fu, CS@HLJU
5
G FH
课后作业一(cont.)
• pp.40：习题 23
• 解答
– 前缀：{, aa, aaaa, aaaaab, aaaaabbb, aaaaabbbba}
– 真前缀：{, aa, aaaa, aaaaab, aaaaabbb}
– 后缀：{, ba, bbba, abbbba, aaabbbba, aaaaabbbba}
– 判断集合是否字母表的依据
• 非空性
• 有穷性
• 可区分性：字母表中的字符两两互不相同
• 整体性或不可分性
– 解答：(1)、(2) 和(6) 是字母表，其它不是
• (3)Ø --- 不满足非空性
• (4) {a, b, a, c} --- 不满足可区分性
• (5) {0, 1, 2, …, n, …} ---不满足有穷性
2020/4/1
(C)Guohong Fu, CS@HLJU
9
G FH
课后作业二 (cont.)
(2) B产生式：BBcc|D#cc
– 用产生式BBcc产生句型：B(cc)n(n1); – 结合BD#cc产生句型：D#cc; – 利用(1)中的结果，
L(B) ={(bbb)m##(cc)n| m0，n1}