学校水课笔记 编译原理 1.2词法分析：有限自动机

有限自动机分为确定有限自动机（DFA）和非确定有限自动机（NFA）

					第一、二、五元是集合；第四元初态只有一个元素； 第三元是映射函数，确定有限自动机中的映射函数是单值映射函数，表示一对一或多对一的映射关系。
			有限自动机的表现形式有状态转换图和状态转换矩阵； 转换图中用双线箭头指向初态，用双圆圈表示终态； 转换矩阵中在左侧用双箭头指向初态，在右侧用0、1标示非终态和终态；
				状态转换矩阵：行表示状态，列表示输入符号，矩阵元素表示相应状态行和输入符号列下的新状态，即 f(Si, a) 的值；

DFA的特点：初态唯一；输入字符不包括ε；一个状态对于某个字符只有一条出边去到一个新状态。

				第一、二、四、五都是集合，即可以有多个元素； 第三元是子集映射，即是一对多的映射关系；
			DFA的矩阵元素是正规式，而NFA的矩阵元素是正规集；

NFA的特点：初态不唯一；可以输入空字ε；一个状态对于某个字符可以有多条出边去到多个新状态。