摘要: 文法 G(S): (1)S -> AB (2)A ->Da|ε (3)B -> cC (4)C -> aADC |ε (5)D -> b|ε 验证文法 G(S)是不是 LL(1)文法. FIRST(S)={b,a,c} FIRST(A)={b,a} FIRST(B)={c} FIRST(C)={a} 阅读全文
posted @ 2019-11-21 20:19 罗奕涛 阅读(4539) 评论(0) 推荐(0) 编辑
摘要: FIRST集的求法: 对于文法G的任一符号串α=X1X2…Xn可按下列步骤构造其FIRST(α)集合: 1) 置FIRST(α)=φ 2) 将FIRST(X1)中的一切非ε符号加进FIRST(α); 3) 若ε∈FIRST(X1),将FIRST(X2)中的一切非ε符号加进FIRST(α);若ε∈FI 阅读全文
posted @ 2019-11-12 20:42 罗奕涛 阅读(744) 评论(0) 推荐(1) 编辑
摘要: 1.将DFA最小化:教材P65 第9题 DFA最小化的图如下 用正规式描述其所识别的语言: a(c*|{da}*)bb* 2.构造以下文法相应的最小的DFA S→ 0A|1B A→ 1S|1 B→0S|0 S→ 0A|1B→S→ 0(1S|1)|1(0S|0)→01S | 01 | 10S | 10 阅读全文
posted @ 2019-11-05 20:54 罗奕涛 阅读(1123) 评论(0) 推荐(1) 编辑
摘要: NFA 确定化为 DFA 子集法: f(q,a)={q1,q2,…,qn},状态集的子集 将{q1,q2,…,qn}看做一个状态A,去记录NFA读入输入符号之后可能达到的所有状态的集合。 步骤: 1.根据NFA构造DFA状态转换矩阵 ①确定DFA初态(NFA的所有初态集),字母表 ②从初态出发,经字 阅读全文
posted @ 2019-10-29 11:34 罗奕涛 阅读(384) 评论(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-22 11:16 罗奕涛 阅读(219) 评论(0) 推荐(1) 编辑
摘要: 1.分别写出描述以下语言的正规文法和正规式: L1={abna|n≥0}。ab*na 正规文法: S->aA A->Ba B->ε|bB 正规式: B=ε+bB=b* A=Ba=b*a S=aA=ab*a L2={ambn|n≥1,m ≥1} 正规文法: S->AB A->aA|a B->bB|b 阅读全文
posted @ 2019-10-15 08:52 罗奕涛 阅读(284) 评论(1) 推荐(3) 编辑
摘要: 词法分析程序(Lexical Analyzer)要求: - 从左至右扫描构成源程序的字符流 - 识别出有词法意义的单词(Lexemes) - 返回单词记录(单词类别,单词本身) - 滤掉空格 - 跳过注释 - 发现词法错误 程序结构: 输入:字符流(什么输入方式,什么数据结构保存) 处理: –遍历( 阅读全文
posted @ 2019-10-11 20:30 罗奕涛 阅读(174) 评论(0) 推荐(0) 编辑
摘要: 1. 梳理第二章的内容,写一篇理解与总结。 本章学习了文法和语言的相关知识,比如:文法的直观概念、符号和符号串,文法和语言的形式定义、文法的类型、语法树和句型的分析等。 字母表是元素的非空有穷集合,元素称为符号,字母表也称为符号集。 由字母表中的符号组成的任何有穷序列称为符号串。 文法G=(Vn,V 阅读全文
posted @ 2019-09-24 11:31 罗奕涛 阅读(162) 评论(0) 推荐(0) 编辑
摘要: 1.已知文法: S->a|^|(T) T->T,S|S 分析句型(T,(^,a)),求全部的短语、直接短语和句柄。 答:由题得:S->(T)->(T,S)->(T,(T))->(T,(T,S))->(T,(S,S))->(T,(^,S))->(T,(^,a)) 语法树: 短语有:^,a ^ a (^ 阅读全文
posted @ 2019-09-19 03:42 罗奕涛 阅读(330) 评论(0) 推荐(1) 编辑
摘要: 1.文法G(Z):Z->aZb|ab定义的是什么样的语言? 产生式有:Z->aZb, Z->ab 因此有:Z=>ab, Z=>aZb=>a²b² 重复使用产生式Z->aZb,得 Z=>aZb=>a²Zb²...=>aⁿ﹣¹Zbⁿ﹣¹=>aⁿbⁿ 所以,文法所确定的语言为L(G[Z])={aⁿbⁿ|n 阅读全文
posted @ 2019-09-11 00:49 罗奕涛 阅读(214) 评论(0) 推荐(0) 编辑