s上自然数顺序.pptVIP

7.6.46. 给出一个无限格的例子使得 (a)既没有最小元素也没有最大元素 (Z,) (b)有一个最小元素但没有最大元素 (N,) (c)有一个最大元素但没有最小元素 (N,) (d)有一个最小元素也有一个最大元素 ([1,2],) 2008-10-8 software security laboratory USTC 7.6.48. 确定下述偏序集是否为良序集 (a) (S, ≦),S={10,11,12,…} 是 (b) (Q ∩[0,1], ≦) 不是，如子集(0,1)没有最小元素 存在无限递减序列 1,1/2,1/4,1/8, …, 1/2n, … (c) (S, ≦), S是分母不超过3的正有理数集合 是 (d) (Z-, ≧) 是，最小元素是-1 2008-10-8 software security laboratory USTC 7.6.50. 证明至少有两个相关元素的稠密的偏序集不是良基的。 证明：设两个相关元素为x,y且xy。因为偏序集是稠密的，故存在z，使得xzy。同理对x和z，存在xz1z。这样迭代可以得到一个无限的递减序列，故不是良基的。 2008-10-8 software security laboratory USTC 2008-10-8 software security laboratory USTC 11-1-4. 设V={S,A,B,a,b}, T={a,b}。当产生式集为下列情形之一时，求文法{V,T,S,P}生成的语言。 a) S?AB, A?ab, B?bb。 b) S?AB, S?aA, A?a, B?ba。 c) S?AB, S?AA, A?aB, A?ab, B?b。 d) S?AA, S?B, A?aaA, A?aa, B?bB, B?b。 e) S?AB, A?aAb, B?bBa, A?λ, B? λ。 答案： a) {abbb} b) {aba, aa} c) {abb, abab} d) {a2n , bm | n 1, m = 1} e) {ambm+nan | m, n = 0} 2008-10-8 software security laboratory USTC 11-1-12. 构造生成下列集合的短语结构文法： a) {012n | n=0}。 b) {0n12n | n=0} c) {0n1m0n | m=0, n=0}。 答案： a) S?0A, A?11A, A?λ。 b) S?A, A?0A11, A?λ。 c) S?A, A?0A0, A?B, B?1B, B?λ。 2008-10-8 software security laboratory USTC 11-1-24. a) 构造一个短语结构文法，使其生成所有形如a/b的分数构成的集合，其中a为带符号十进制数，b是正整数。b) 给出这个文法的巴克斯-诺尔范式。c) 构造此文法中+311/17的派生树。 答案： 分数?带符号十进制数 / 正整数 带符号十进制数?符号 正整数 符号?+ | - 正整数?非零数字 十进制数 | 非零数字 十进制数?数字 | 数字 十进制数 数字?非零数字 | 0 非零数字?1 | 2 | 3 | … | 9 2008-10-8 software security laboratory USTC 11-1-27. 给出C语言中生成所有标识符的巴克斯-诺尔范式产生式规则。在C语言中，标识符以一个字母或者下划线开始，后跟一或多个小写字母、大些字母、下划线和数字。 答案： identifier ::= letterorus | identifier symbol letterorus ::= letter | _ symbol ::= letterorus | digit letter ::= lcletter | ucletter lcletter ::= a | b | c | … | z ucletter ::= A | B | C | … | Z digit ::= 0 | 1 | 2 | … | 9 2008-10-8 software security laboratory USTC 11-1-28. 描述由下列EBNF产生式集合定义的串的集合。 a) string ::= L+D?L+ b) string ::= sign D+ | D+ L ::= a | b | c sign ::= + | - D ::= 0 | 1 D ::= 0 | 1 | … | 9 c) string ::= L* (D+)? L* L :