形式语言与自动机理论精彩试题.docxVIP

标准文案 标准文案 大全 大全 形式语言与自动机理论试题 一、按要求完成下列填空 1. 给出集合{Φ,{Φ}}和集合{ε,0,00}的幂集 （2x4 ） (1) {Φ,{Φ},{{Φ}},{Φ,{Φ}}} (2) {Φ,{ε},{0},{00},{ε,0},{ε,00},{0,00},{ε,0,00}} 设∑={0,1},请给出∑上的下列语言的文法 （2x5 ） (1)所有包含子串 01011 的串 S→X01011Y X→ε|0X|1X Y→ε|0Y|1Y (2)所有既没有一对连续的 0，也没有一对连续的 1 的串A→ε|A’|A” A’ →0|01|01A’ A” →1|10|10A” 构造识别下列语言的DFA 2x6 (1) {x|x?{0，1}+且 x 以 0 开头以 1 结尾} （设置陷阱状态，当第一个字符为1 时，进入陷阱状态） 00 0 0 0 1 1 1 0,1 (2) {x|x?{0，1}+且 x 的第十个字符为 1} （设置一个陷阱状态，一旦发现x 的第十个字符为 0，进入陷阱状态） S0,1 S 0,1 0,1 0,1 0,1 0,1 0,1 0,1 0,1 0,1 1 0,1 二、判断（正确的写T，错误的写F） 5x2  (R ? R )R ? RR ? R R 设 R 和 R 1 2 是集合{a,b,c,d,e} 上的二元关系， 则 1 2 3 1 3 2 3 ( T )  任取(x.,y),其中x,y?{a, b, c, d , e}，使得(x, y) ? (R 1  ? R )R 。 2 3 ? ?z((x, z) ? R ? R 1 2 ? (z, y) ? R 3 ) z ?{a, b, c, d , e} ? ?z((x, z) ? R 1 ? (x, z) ? R 2 ? (z, y) ? R ) 3 ? ?z((x, z) ? R 1 ? (z, y) ? R 3 ) ? ?z((x, z) ? R 2 ? (z, y) ? R ) 3 ? (x, y) ? R R 1 3 ? (x, y) ? R R 2 3 ? (x, y) ? R R 1 3 ? R R 2 3 对于任一非空集合A，Φ ? 2 A ( T ) 文法G：S A|AS A a|b|c|d|e|f|g 是 RG ( F ) 4.3 型语言? 2 型语言? 1 型语言? 0 型语言 ( T ) 5.s（rs+s） * r=rr * s（rr* s） * ( F ) 不成立，假设 r,s 分别是表示语言 R，S 的正则表达式，例如当 R={0}，S={1}, L(s(rs+s)*r)是以 1 开头的字符串，而 L(rr*s(rr*s)*)是以 0 开头的字符串.L(s(rs+s)*r) ? L(rr*s(rr*s)*) 所以 s(rs+s)*r ? rr*s(rr*s)*,结论不成立 三、设文法G 的产生式集如下，试给出句子aaabbbccc 的至少两个不同的推导（12 分）。 S ? aBC | aSBC aB ? ab bB→bb CB→BC bC→bc cC→cc 推导一： S=aSBC =aaSBCBC =aaaBCBCBC =aaabCBCBC =aaabBCCBC =aaabbCCBC 标准文案 标准文案 =aaabbCBCC =aaabbBCCC =aaabbbCCC =aaabbbcCC =aaabbbccC =aaabbbccc 推导二： S=aSBC =aaSBCBC =aaaBCBCBC =aaaBBCCBC =aaaBBCBCC =aaabBCBCC =aaabbCBCC =aaabbBCCC =aaabbbCCC =aaabbbcCC =aaabbbccC =aaabbbccc 四、判断语言{ 0n1n0n |n=1}是否为RL，如果是，请构造出它的有穷描述(FA,RG 或者RL）；如果不是，请证明你的结论（12 分） 解：设 L={ 0n1n0n |n=1}。假设 L 是 RL，则它满足泵引理。不妨设 N 是泵引理所指的仅依 赖于 L 的正整数，取Z= 0 N1N 0 N 显然，Z∈L 。 按照泵引理所述，必存在 u，v，w。由于|uv|=N,并且|v|=1，所以 v 只可能是由 0 组成 的非空串。 不妨设 v= 0 k ， k=1 此时有 u= 0N ?k ? j ， w= 0 j1N 0N 从而有 uv i w= 0N ?k ? j (0k )i 0 j1N 0N 当 i=2 时，有uv 2 w= 0N ?k1N 0N 又因为k=1, 所以 N+kN 这就是说0N ?k1N 0N 不属于L， 这与泵引理矛盾。所以，L 不是RL。 qq五、