编译原理----第二章：词法分析

最新推荐文章于 2023-08-17 13:52:41 发布

Concept_One

最新推荐文章于 2023-08-17 13:52:41 发布

阅读量1.5k

点赞数

分类专栏：编译原理

本文链接：https://blog.csdn.net/weixin_45660543/article/details/114528941

版权

1 篇文章

订阅专栏

一、词法分析器的设计方法

单词符号通常表示成如下的二元式：（单词种别，单词自身的值/入口指针）

在词法分析中，可以用状态转换图来识别单词。状态转
换图是状态有限的有向图，结点代表状态，用圆圈表示；结
点之间可由有向边连接，代表状态转换关系，有向边上可标
记字符，表示前一状态接受某一个字符之后的状态转移
在这里插入图片描述

• 初始状态用“ ○”表示
• 非终止状态用“○”表示
• 状态之间的跳转用“ ”（有向边）表示
• 终止状态用“◎”或“◎*”表示（‘*’表示将最后多读入的符号退回）

对于给定的字母表Σ，正规式和正规集定义为：
• (1) ε和Ф都是Σ上的正规式，它们所表示的正规集分别为
{ε}和Ф。
• (2) 对于任一个符号a∈Σ，a是Σ上的一个正规式，它所表
示的正规集为{a}。
如果R和S是Σ上的正规式，它们所表示的正规集分别为L®
和L(S)，则：
① R | S是Σ上的正规式，它所表示的正规集为L®∪L(S)；
② RS是Σ上的正规式，它所表示的正规集为L®L(S)；
③ ® * 是Σ上的正规式，它所表示的正规集为(L®) * ；
仅由有限次使用规则(1)～(3)得到的表达式是Σ上的正规式，
它所表示的集合是Σ上的正规集

正规式的连接：RS = {α β | α∈R&β∈S}
例：A={ab，bc} ,B={ac,cb },则：
AB ={abac,abcb,bcac,bccb}
正规式的幂运算：正规式自身的n次连接
并约定： R0 = {ε}。

• (1)交换律： R | S = S | R
• (2)结合律： R | (S | T) = (R | S) | T；R(ST) = (RS)T
• (3)分配律： R(S | T) = RS | RT；(R | S)T = RT | ST
• (4)同一律： εR = Rε = R

在这里插入图片描述
Z包含于S

对于一个自动机FA 而言，如果存在一条从初始状态到终止
状态的通路，通路上有向边所识别的字符依次连接所得到
的字符串为α, 则称α可以为FA 所接受或者α为FA 所识别
（FA所识别的字）
FA 所能识别的字符串集为FA 所识别的语言，记为L(M)
FA的等价
对于任意两个FA M和 FA M’, 如果L(M)=L(M’), 则称M和M’等价
对于任意一个NFA M，一定存在一个DFA M’与其等价