编译原理（二）确定有限自动机

一、确定有限自动机 1. 确定有限自动机的定义 ⚠️注意这里说的是终止状态集，即终止状态不唯一 包含定义：字符集（圈中内容）、状态集（圆圈）、状态转移函数（箭头）、初始状态S、终止状态集（同心圆） 2. DFA的确定性 2的解释：一个状态接收一个符号得到一个值（相当于函数的一一映射） 3. DFA的表示 状态转移矩阵 二元函数直接填写对应的数值；要满足表示5元组，初始和终止要单独表示出来。无值地方

>>阅读原文<<