摘要: 1.将DFA最小化:教材P65 第9题 I {1,2,3,4,5} {6,7} {1,2}b->{1,2,3,4,5} {3,4}b->{6,7} {5}->{} {1,2,3,4,5}可区别划分 II {1,2}{3,4}{5} {6,7} {1,2}不可区别,等价 {6,7}不可区别,等价 {3 阅读全文
posted @ 2019-11-08 16:16 菠蘿啤 阅读(295) 评论(0) 推荐(0) 编辑
摘要: 1.设有 NFA M=( {0,1,2,3}, {a,b},f,0,{3} ),其中 f(0,a)={0,1} f(0,b)={0} f(1,b)={2} f(2,b)={3} 画出状态转换矩阵,状态转换图,并说明该NFA识别的是什么样的语言。 解: 状态转换图: 语言:(a|b)*abb 2.NF 阅读全文
posted @ 2019-11-01 15:56 菠蘿啤 阅读(137) 评论(0) 推荐(0) 编辑
摘要: 1.正规式转换到正规文法 对任意正规式R选择一个非终结符Z生成规则Z→R 1.对形如A→ab的规则,转换成A→aB,B→b 2.将形如A→a|b的规则,转换成A→a,A→b(A→a|b) 3.将形如A→a*b的规则,转换成A→aA,A→b 将形如A→ba*的规则,转换成A→Aa,A→b 不断利用上述 阅读全文
posted @ 2019-10-25 15:59 菠蘿啤 阅读(130) 评论(0) 推荐(0) 编辑
摘要: 1.分别写出描述以下语言的正规文法和正规式: (1)L1={abna|n≥0}。 (2)L2={ambn|n≥1,m ≥1} (3)L3={(ab)n|n≥1} 解: 正规文法:(1)S->aA A->bnA|a S->aS S->bS|ε (2)S->aA A->bS|b (3) S->(ab)S 阅读全文
posted @ 2019-10-17 22:11 菠蘿啤 阅读(134) 评论(0) 推荐(0) 编辑
摘要: 此程序要逐个检查运行情况,并能当场补全代码。 词法分析程序(Lexical Analyzer)要求: - 从左至右扫描构成源程序的字符流 - 识别出有词法意义的单词(Lexemes) - 返回单词记录(单词类别,单词本身) - 滤掉空格 - 跳过注释 - 发现词法错误 程序结构: 输入:字符流(什么 阅读全文
posted @ 2019-10-11 18:48 菠蘿啤 阅读(215) 评论(0) 推荐(0) 编辑
摘要: 1. 梳理第二章的内容,写一篇理解与总结。 第二章进入了尾声,我总结了一下本章的内容,其中包括文法的直观概念、符号和符号串、文法和语言的形式定义、文法的类型、上下文无关文法及语法树、句型的分析等这几个内容。 (1).上下文无关法 文法:是描述语言的语法结构的形式规则(即语法规则)。文法可以表示为四元 阅读全文
posted @ 2019-09-27 19:32 菠蘿啤 阅读(423) 评论(0) 推荐(0) 编辑
摘要: 1.已知文法: S->a|^|(T) T->T,S|S 分析句型(T,(^,a)),求全部的短语、直接短语和句柄。 解: 语法书为: 由语法树可知全部短语:(T,(^,a)) T,(^,a) (^,a) ^,a ^ a 直接短语:^ a 句柄:^ 2.构造上下文无关文法,描述语言: {anbn|n> 阅读全文
posted @ 2019-09-19 17:51 菠蘿啤 阅读(498) 评论(0) 推荐(0) 编辑
摘要: 1.理解符号串与集合运算。 L={A,B, … ,Z,a,b, … ,z} D={0,1, … ,9} 说明下表示的含义: LUD LD L4 L* D+ L(LUD)* 解: LUD:所有大小写字母和数字的集合 LD:由一个字母和一个数字组成的所有符号串的集合 L4:由四个字母组成的符号串的集合 阅读全文
posted @ 2019-09-12 12:05 菠蘿啤 阅读(173) 评论(0) 推荐(0) 编辑
摘要: 1)编译程序是高级服务程序,是将高级语言写的源程序翻译成等价的低级语言的目标程序。 解释程序也是高级服务程序,是一种直接执行源程序的形式,顺序为读一句源程序,翻译一句,执行一句,是不会产生目标代码的。 汇编程序是低级服务程序,是将汇编语言写的源程序翻译成由机器指令和其他信息组成的目标程序。 2)词法 阅读全文
posted @ 2019-09-04 11:24 菠蘿啤 阅读(157) 评论(0) 推荐(0) 编辑