编译原理复习三这是我参与更文挑战的第22天，活动详情查看：更文挑战第三章：词法分析 3.1、词法分析程序输出的单词符

这是我参与更文挑战的第22天，活动详情查看：更文挑战

第三章：词法分析

3.1、词法分析程序输出的单词符号的表示

(单词种别，单词自身的值)

3.2、正规式、正规集、服从的代数规律

3.3、正规式转正规文法

正规式转正规文法.jpg

3.4、正规文法转正规式

正规文法转正规式.jpg

3.5、有穷自动机定义（考名词解释）

能准确识别正规集，即：识别正规文法所定义的语言和正规式所表示的集合

3.6、确定的有穷自动机（定义考名词解释）

$M=(K,\sum,f,S,Z)$

K：有穷集（它的每个元素称为一个状态）

$\sum$ ：有穷字母表（输入符号表）

f：转换函数

S： $S\in K$ ，是唯一的初态（用=>）表示

Z：终态集（用双圈表示）

表示：状态图、矩阵

3.7、不确定的有穷自动机（定义考名词解释）

M=（ $K,\sum,f,S,Z$ ）

K：有穷集

$\sum$ ：有穷字母表

f：从K $\sum^ *$ 到K的全体子集的影像*，即： $K*\sum^ *->2^k$ ，其中 $2^k$ 表示K的幂集

S：非空状态集（注意：不确定初始状态可能有多个）

Z：终态集

区别：

f：确定的有穷自动机表示是转换函数；不确定的有穷自动机表示的是：从K $\sum^ *$ 到K的全体子集的影像*
S：确定的有穷自动机只有一个初态；不确定的有穷自动机可能有多个初态

3.8、***NFA 转DFA

算法：子集法
步骤
1. 首先找出初态，初态通过n条 $\epsilon$ 可以到达的状态集合，标记为T1
2. 然后对T1分别通过终结符集合中的终结符，可以到达的若干集合进行标记，如果之前出现过则无需标记；如果没有出现过则标记为新的集合T2，T3...
3. 不断进行步骤2，直到所有的状态都被标记
具体看例题