摘要：
有限自动机 + 定义： + 状态图的形式化表示，指明了一个开始状态，一个或多个接受状态，以及状态集、输入字符集和状态间的转换集合 + 一个自动机接受输入字符串x： + 当且仅当对应的转换图中存在一条从开始状态到某个接受状态的路径, 使得该路径中各条边的标号组成字符串x + 自动机定义(接受的语言)： 阅读全文
摘要：
词法单元的识别 词法单元的识别 一、状态转换图 定义 + 状态转换图描绘词法分析器被语法分析器调用时，词法分析器为返回下一个记号所做的动作 表示 + 圆圈 ：表示状态，开始状态由一条没有出发节点、标号为“开始”的边指明 + 双层圆圈 ：表示接受状态，表示已识别一个记号；若返回，则返回一个词法单元和其 阅读全文