摘要: 1.将DFA最小化:教材P65 第9题 Ⅰ {1,2,3,4,5} {6,7} {1,2}b→{1,2,3,4,5} {3,4}b→{6,7} {5}b→ε {1,2,3,4,5}可区别,划分 Ⅱ {1,2}{3,4}{5} {6,7} {1}a{3,4} {2}a{3,4} {1}b{1,2} { 阅读全文
posted @ 2019-11-06 10:59 千初 阅读(287) 评论(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识别的是什么样的语言。 状态转换矩阵: 状态转换图: 语言:NFA={(a|b 阅读全文
posted @ 2019-10-30 11:34 千初 阅读(322) 评论(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-23 11:39 千初 阅读(136) 评论(0) 推荐(0) 编辑
摘要: 1.分别写出描述以下语言的正规文法和正规式: L1={abna|n≥0}。 答:正规文法 S→aA A→bna A→ba|a 正规式:ab*a L2={ambn|n≥1,m ≥1} 答:正规文法 S→aS|bn S→bn S→bS|ε 正规式:aa*bb* L3={(ab)n|n≥1} 答:正规文法 阅读全文
posted @ 2019-10-16 11:40 千初 阅读(170) 评论(0) 推荐(0) 编辑
摘要: 词法分析程序(Lexical Analyzer)要求: - 从左至右扫描构成源程序的字符流 - 识别出有词法意义的单词(Lexemes) - 返回单词记录(单词类别,单词本身) - 滤掉空格 - 跳过注释 - 发现词法错误 程序结构: 输入:字符流(什么输入方式,什么数据结构保存) 处理: –遍历( 阅读全文
posted @ 2019-10-10 23:30 千初 阅读(170) 评论(0) 推荐(0) 编辑
摘要: 1. 梳理第二章的内容,写一篇理解与总结。 本章重点介绍了语言的语法结构的形式描述、语法树以及文法的二义性 1.设计一个文法定义一个已知的语言 (1)文法是一个四元组G=(V,V,P,S),文法四大要素中,关键是一组规则,它定义(或描述)了一个语言的结构。从文法定义可知,文法对于程序设计者来说,文法 阅读全文
posted @ 2019-09-25 23:08 千初 阅读(520) 评论(0) 推荐(0) 编辑
摘要: 1.已知文法: 1.已知文法: S->a|^|(T) T->T,S|S 分析句型(T,(^,a)),求全部的短语、直接短语和句柄。 短语:^ a ^,a (^,a) T,(^,a) (T,(^,a)) 直接短语:^ a 句柄:^ 2.构造上下文无关文法,描述语言: {anbn|n>=0} {ambn 阅读全文
posted @ 2019-09-18 22:42 千初 阅读(134) 评论(0) 推荐(0) 编辑
摘要: 1.理解符号串与集合运算。 L={A,B, … ,Z,a,b, … ,z} D={0,1, … ,9} 答:可以把L和D看作是字母表 可以把L和D看作是语言 说明下表示的含义: LUD:全部字母和数字的集合 LD:由一个字母后跟一个数字组成的所有符号串的集合 L4:由4个字母组成的所有符号串的集合 阅读全文
posted @ 2019-09-11 21:14 千初 阅读(155) 评论(0) 推荐(0) 编辑
摘要: 1)简述编译程序与翻译程序、汇编程序的联系与区别。 答:一个编译程序就是一个语言翻译程序。 翻译程序是把一种语言书写的程序翻译成另一种语言的等价程序。 汇编程序是一个翻译程序,它把汇编语言源程序翻译成机器语言程序。 编译程序与汇编程序的区别:如果源语言是像FORTRAN\PASCAL或C那样的高级语 阅读全文
posted @ 2019-09-04 11:40 千初 阅读(129) 评论(0) 推荐(0) 编辑