Take over everything

摘要： 1. 文法 G（S）: （1）S -> AB （2）A ->Da|ε （3）B -> cC （4）C -> aADC |ε （5）D -> b|ε 验证文法 G（S）是不是 LL（1）文法. Select（A ->Da）=First（Da）={b，a} Select（A ->ε）=Follow（A） 阅读全文

摘要： 1.将以下文法消除左递归，求FIRST集、FOLLOW集，并分析符号串 i*i+i E -> E+T | T T -> T*F | F F -> (E) | i 消除左递归： E->TE' E'->+TE'|ε T->FT' T'->*FT'|ε F->(E) | i FIRST集： First（（ 阅读全文

摘要： 1.将DFA最小化：教材P65 第9题 2.构造以下文法相应的最小的DFA S→ 0A|1B A→ 1S|1 B→0S|0 S→0(1S+1)+1(0S+0) S→01S+01+10S+10 S→(01+10)S+(01+10) S→(01|10)*(01|10) 3.自上而下语法分析，回溯产生的原 阅读全文

摘要： NFA 确定化为 DFA 子集法： f(q,a)={q1,q2,…,qn},状态集的子集 将{q1,q2,…,qn}看做一个状态A，去记录NFA读入输入符号之后可能达到的所有状态的集合。 步骤： 1.根据NFA构造DFA状态转换矩阵 ①确定DFA初态（NFA的所有初态集），字母表 ②从初态出发，经字 阅读全文

摘要： 正规式到正规文法 对任意正规式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 不断利用上述规则进行 阅读全文

摘要： 1.分别写出描述以下语言的正规文法和正规式： L1={abna|n≥0}。 L2={ambn|n≥1,m ≥1} L2={（ab）n|n≥1} (1)正规文法：S->aA A->bna A->Ba B->bn B->bB|ε 正规式：S->ab*a (2)正规文法：S->AB A->aA|ε B-> 阅读全文

摘要： 词法分析程序（Lexical Analyzer）要求： - 从左至右扫描构成源程序的字符流 - 识别出有词法意义的单词（Lexemes） - 返回单词记录（单词类别，单词本身） - 滤掉空格 - 跳过注释 - 发现词法错误 程序结构： 输入：字符流（什么输入方式，什么数据结构保存） 处理： –遍历（ 阅读全文

摘要： 语法：所谓一个语言的语法是指这样的一组规则，用它可以形成和产生一个合式的程序。这些规则的一部分称为词法规则，另一部分称为语法规则（或产生规则）。 语义：对于一个语言来说，不仅要给出它的词法、语法规则，而且要定义它的单词符号和语法单位的意义。这就是语义问题。离开语义，语言只不过是一堆符号的集合。 文法 阅读全文

摘要： 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) T,(^, 阅读全文

摘要： 1.文法G(Z):Z->aZb|ab定义的是什么样的语言？ 因为Z->aZb或者Z->ab Z=>aZb=>aaZbb=>···=>an-1Zbn-1=>anbn 所以，文法所确定的语言为L(G[Z])={aⁿbⁿ|n≥1} 2.写出教材22页例2.2中标识符的文法四元组形式。 有文法G=(VN,V 阅读全文