随笔分类 - 编译原理
摘要:有穷自动机为一种识别装置,能准确地识别正规集。它为词法分析程序的自动构造提供了有效的方法和工具。 有穷自动机分为两类: 确定的有穷自动机 (Deterministic Finite Automata: DFA) 不确定的有穷自动机 (Nondeterministic Finite Automata:
阅读全文
摘要:单词的描述工具-正规式 : 多数程序设计语言的单词的语法均可用正规文法来表示。 正规文法 (3型文法) :任一产生式的形式都为A→aB或A→a,其中A∈VN ,B∈VN ,a∈VT * , 正规文法描述的是VT上的正规集。 例:程序设计语言中几类单词的描述规则:标识符、无符号整数、运算符…。 正规式
阅读全文
摘要:词法分析(lexical analysis)程序 : 又称词法分析器或扫描器,主要功能是逐个读入源程序字符并按照构词规则切分成一系列单词。单词是语言中具有独立意义的最小单位,包括保留字、标识符、运算符、标点符号和常量等。词法分析是编译过程中的一个阶段,在语法分析前进行 。也可以和语法分析结合在一起运
阅读全文
摘要:语言是一个记号系统,完整的定义包括语法和语义两方面。语法是一组说明语言的规则,文法是用来阐明这些语法规则的一个重要形式工具。语义包括静态语义和动态语义,阐明语义要比语法困难的多。 符号和符号串 字母表: 字母表是符号的非空有穷集合。 任何程序语言都有自己的字母表,例如: 计算机语言:由符号“0”和“
阅读全文
摘要:LL(1)文法名称中第一个L表示自顶向下分析是从左向右扫描输入串, 第二个L表示分析过程中将用最左推导, 括号中的1表示每进行一步推导,只需要向前查看一个输入符号便能确定当前所应选用的产生式。 文法G是LL(1)的,当且仅当对于G的每个非终结符Α的任何两个不同产生式 Α→α,Α→β均满足下面条件(其
阅读全文
摘要:从老师的PPT上整理下来,加了一些自己的理解(//解释的部分)。 //可以只看‘FIRST集的求法’和‘FOLLOW集的计算’。 FIRST集的定义 : 设G=(VT,VN,P,S)是上下文无关文法 FIRST(a)={a|a=>*ab,a∈VT, a,b∈V*} 若a=>*ε则规定ε∈FIRST
阅读全文

浙公网安备 33010602011771号