编译原理期末复习 | 语法分析

语法分析

语法分析器的功能

  • 对源程序从左往右扫描分解 ,根据词法规则识别出⼀个个具有独立意义的单词符号

单词的表示

  • 使用二元式表示
  • ⼆元式 : ( 单词种别 ,单词⾃身的值 )

正规文法、正规式

  • 正规文法、正规式是描述语言单词符号定义的两种方法。
  • 用的是三型文法(正规文法)

正规式

  • 对单词符号用“连接”、“或”、“闭包”三种运算组合而成
  • 正规集:这个正规式/正规文法可能产生的符号串集合
  • 有以下定义

在这里插入图片描述

  • 正规式等价:两个正规式所表示的正规集相同,那么这两个正规式等价
  • 正规式的性质
    在这里插入图片描述

正规文法

  • 形如 G = ( Vn,Vt, P, S ) 的 , 或者只写出 P
  • Vn是非终结符,Vt是终结符,P是规则,S是文法的开始符号

题型: 给出正规文法,写正规式

方法
在这里插入图片描述

在这里插入图片描述

题型:给出正规式,写正规文法

方法
在这里插入图片描述

在这里插入图片描述

DFA、NFA

  • DFA: 确定的有穷自动机(D means definite ^ ^太多缩写了知道一下英文可以防止记混)
    在这里插入图片描述
  • NFA:非确定的有穷自动机
    在这里插入图片描述
  • 区别
    1、DFA单值映射,NFA多值映射。(单值映射就是对于一个状态,输入相同,输出只有一个;多值映射就是输入相同,输出可能有多个)
    2、DFA初态只有一个(唯一),NFA初态可以有多个(可以是一个集合)

画出DFA、NFA的状态转移矩阵、状态转换图

  • DFA
    在这里插入图片描述
  • NFA
    在这里插入图片描述

题型:由正规式构造NFA

  • 方法
    在这里插入图片描述
  • 例题
    在这里插入图片描述

题型:NFA确定化为DFA

在这里插入图片描述

闭包 :若q为⼀初始状态s0,让a为ε,则δ(s0,a)={q1,q2,…,qk}为所有等价的状态结点构成的集合,这个集合被称为s0的ε闭包。记为ε-Closure(s0)

  • 例题
    在这里插入图片描述

  • 这个表是怎么画出来的呢?
    1、首先,列标签是Q’和两个终结符a,b;最左一列的行标签是最后才写上的这里先不管。
    2、第一行的第一个Q’是根据NFA图得出来的开始符号的空字闭包(即从开始符号X,输入任意个空字可以到达的状态集合)
    3、第一行的第二列:要写的是,对于第一列求出来的Q’中的每一个状态,输入a可以到达的状态,加上这个状态的空字闭包(比如这里第一列是X,4,1,只有1状态输入a可以到达3状态;3的空字闭包只有自己;所以这列填{3})
    4、第一行的第三列:和第三点同理,把输入a改成输入b({X,4,1}输入b可以到达{4,2},{4,2}输入空字还可以到达{1,5,Y},所以结果是{4,2,1,5,Y})
    5、以上一行输入a或输入b得到的状态作为下一行的Q’
    6、重复3、4、5直到输入a,b都不再出现新状态为止。
    7、给所有Q’取新名字,这里就是最左边那一列,可以随便取,不重名即可。

注意,此时画出来的DFA的图并不唯一,也不一定是最简的

题型:DFA的化简

方法步骤
1、删去多余状态
2、删去等价状态

例题
在这里插入图片描述

在这里插入图片描述
在这里插入图片描述

题型:给出状态转换图,写出正规式

在这里插入图片描述

在这里插入图片描述

题型:构造正规有穷文法的NFA

在这里插入图片描述

  • 例题:
    在这里插入图片描述
  • 17
    点赞
  • 23
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值