基于形式模型的词法分析程序自动构造

摘要

本文主要对词法分析器的自动生成进行了探讨和实践,介绍在有穷状态自动机、正则文法和正则表达式(RE)等形式化描述工具的基础理论和方法上,利用 Thompson 构造法、子集构造算法、分割法得到化简了的确定的有穷有自动机(DFA),以 DFA 状态图为输入,实现词法分析程序自动构造。