[高等教育]国际金融第三章.ppt

知识点：词法分析程序的功能及构造方法，正规表达式与正规集，正规表达式与正规文法，状态转换图与基本符号的识别，有限自动机。 深刻理解：正规表达式，有限自动机，正规文法以及三者之间的等价性；确定的有限自动机和非确定的有限自动机之间的等价性。 熟练掌握： 对于某一正规集，写出其正规表达式，构造其非确定的有限自动机、确定的有限自动机，并将其最小化； 对于某一正规集，写出正规表达式，构造自动机，然后构造正规文法。 3.1词法分析程序的设计 3.1.1词法分析程序的功能 词法分析的任务：从左到右逐个字符地对源程序进行扫描，产生一个个的单词符号，把作为字符串的源程序改造成为单词符号串的中间程序。 3.1.2词法分析程序作为一个独立子程序 （1）语法分析程序的子程序； （2）组织成一遍扫描。（为什么？） 复杂问题分解，模块化设计，使得整个编译程序的结构更简洁、清晰。由于词法分析程序相对于语法分析程序来说要简单得多，如果把词法分析和语法分析合在一起将会导致语法分析程序变得非常复杂，并且使编译程序的执行效率变得很低。 3.2词法分析器的设计 3.2.1输入、输出预处理 （1）去除掉空白符、跳格符、回车符和换行符等编辑性字符； （2）去除程序中的注释符； （3）扫描缓冲区 3.2.1单词符号的识别（P40—41） 超前搜索问题 关键字的识别 标识符的识别 常数的识别 算符和界符的识别 3.3 状态转换图 状态转换图是一张有限方向图，在状态转换图中，结点代表状态，用圆圈表示。状态之间用箭弧连结。箭弧上的标记（字符、正规式）代表在射出结点（即箭符始结点）状态下可能出现的输入字符或字符类。 一张状态转换图只包含有限个状态（即有限个结点），其中含有一个初态（用双线箭头指示）和若干个终态（用双圈表示），而且实际上至少要有一个终态，初态表示分析的开始，终态表示分析的结束。 一个状态转换图可用于识别（或接受）一定的字符串。 3.3.2 构造识别一种简单语言的单词符号的转换图 限制条件： （1）所有关键字都是“保留字”，用户不得使用它们作为自己定义的标识符。 （2）关键字作为一类特殊的标识符来处理，不再专门设置对应的转换图，把它们预先安排在一张表格中，当转换图识别出一个标识符，就去查询这张表，确定是否为一个关键字。 （3）如果关键字、标识符和常数之间没有确定的运算符或界符作间隔，则必须至少用一个空白符作间隔。 3.4 正规表达式与有限自动机3.4.1 正规式与正规集 3.4.1.1 正规式与正规集的定义（概念） （1）ε、Φ都是∑上的正规式，它们所表示的正规集分别为{ε}和Φ； （2）任何a∈∑，a是∑上的一个正规式，它所表示的正规集为{a}； （3）如果U、V都是∑上的正规式，它们所表示的正规集分别记为L（U）和L（V），那么，（U|V）、（UV）和（U）*也是正规式，它们所表示的正规集分别为L（U）∪L（V）、L（U）L（V）和（L（U））*； 仅由有限次使用上述步骤而得到的表达式才是∑上的正规式；仅由这些正规式所表示的字集才是∑上的正规集。 例子：令∑={a，b}，下面是∑上的正规式和相应的正规集 3.4.1.2 正规式的数学运算 交换律：U|V=V|U； 结合律：U|（V|W）=（U|V）|W、 U（VM）=（UV）W； 分配律：U（V|W）=UV|UW （V|W）|U=VU|WU ε连接：εU=Uε=U 另外一种定义方法：定义正规表达式（regular expression）是以下的一种： 基本（basic）正规表达式由一个单字符a（其中a 在字母表∑中），以及元字符ε或元字符Φ组成。在第1种情况下，L (a) = {a}；在第2种情况下，L (ε) ={ε}；在第3种情况下，L (Φ) = {}。 r | s 格式的表达式：其中r 和s 均是正规式。在这种情况下，L（r | s） = L（r）∪L（s）。 rs 格式的表达式：其中r 和s 是正规式。在这种情况下， L（rs）= L (r) L（s）。 r* 格式的表达式：其中r 是正规表达式。在这种情况下，L（r*）= L（r）*。 （r）格式的表达式：其中r 是正规式。在这种情况下，L（（r））= L（r），因此，括号并不改变语言，它们只调整运算的优先权。 需要注意： ｜的优先权最低，连结次之，* 则最高。另外还注意到在这个定义中， 5个符号|、*、*、（和）都有了元字符的含义。 正规式的连接一般不满足交换律 3.4.2 确定有限自动机（DFA） 3.4.2.1 确定有限自动机的定义 一个确定有限自动机（DFA）M是一个五元式：