来自极客时间《趣谈网络协议》
学习过程遇见问题:一看觉得懂,一问就打鼓,一用就糊涂。
1.为什么要学习网络协议
一般编译过程:
词法分析:
词法分析是编译的第一阶段。词法分析器的主要任务是读入源程序的输入字符,将它们组成词素,生成并输出一个词法单元序列,这个词法单元序列被输出到语法分析器进行语法分析。
另外,由于词法分析器在编译器中负责读取源程序,因此除了识别词素之外,它还会完成一些其他任务,比如过滤掉源程序中的注释和空白,将编译器生成的错误消息与源程序的位置关联起来等。
总而言之,词法分析器的作用如下:
- 读入源程序的输入字符,将它们组成词素,生成并输出一个词法单元序列;
- 过滤掉源程序中的注释和空白;
- 将编译器生成的错误消息与源程序的位置关联起来;
- 其它。
语法分析:
词法分析器把源程序转换成了一个词素序列,它让我们知道了一个符号序列’i’、’f’
是一个关键词”if”
,而一个符号序列’1’、’2’、’3’、’4’
是一个常量”1234”
等等。但是,词法分析器的工作也到此为止了,它不能说明几个词素之间的关系。例如,对于词素串”int”、”x”、”=”、”1”、”;”
,词法分析器不知道它是一个语句;对于词素串”int”、”x”、”==”、”1”、”;”
,词法分析器不能检测出它的语法错误。为此,在词法分析之后,还需进行语法分析。
我们都知道,在使用某一种程序设计编写程序时,都要遵循一套特定的规则。比如,在C语言中,一个程序由多个函数组成,一个函数由声明和语句组成,一个语句由表达式组成等等。这组规则精确描述了一个良构的程序设计语言的语法。语法分析器能够确定一个源程序的语法结构,能够检测出源程序中的语法错误,并且能够从常见的错误中恢复并继续处理程序的其余部分。
一个语法分析器从词法分析器获得一个词素序列,并验证这个序列是否可以由源语言的文法生成。语法分析器会构造一棵语法分析树,并把它传递给编译器的其他部分进一步处理,在构建语法分析树的过程中,就验证了这个词素序列是否符合源语言的文法。语法分析器在编译器中的位置如下图:
文法
语法分析程序判断源程序在结构上是否正确,源程序的结构由上下文无关文法描述。
一个文法用于系统的描述程序设计语言的构造的语法。一个正确设计的文法给出了一个语言的结构,该结构有助于把源程序翻译为正确的目标代码,也有助于检测错误。
一个上下文无关文法(下文简称文法)由终结符号、非终结符号、一个开始符号和一组产生式组成:
推导和规约
我们介绍了如何用上下文无关文法描述一种语言的语法,和如何使用推导和规约构造一棵语法分析树&#x