How to make a Compiler -- 一个简单DFA自动机的实现

版权声明:本文为博主原创文章,未经博主允许不得转载。https://blog.csdn.net/qq_38812171


1.自动机的概念:

自动机用于识别满足特定文法的串。自动机可以写成 M=(K,Σ,δ, q0 ,F) 的五元组形式,其中 K 表示自动机的所有状态组成的集合;Σ 表示字母表集合, δ 表示状态转移函数, q0 自动的初始状态, F 为自动机的结束状态集。

例如:

How to make a Compiler -- 一个简单DFA自动机的实现

注意: 在自动机的实现中,最主要的就是考虑状态转移函数的表示,在此我构造了一个状态转换表来存储所有的状态转移过程!

 

How to make a Compiler -- 一个简单DFA自动机的实现

当然也可以用压缩变换表的方式,其实就是一个简单的链表,因为每个状态不可能对所有字符都有状态转换函数!

有了状态转换表,加上控制程序就可以简单实现一个小型DFA了!

控制程序如下:

How to make a Compiler -- 一个简单DFA自动机的实现

2. Java 实现 一个小DFA

   2.1 状态转换图:

  How to make a Compiler -- 一个简单DFA自动机的实现

   2.2 包

                                                    How to make a Compiler -- 一个简单DFA自动机的实现

2.3 状态转移函数

How to make a Compiler -- 一个简单DFA自动机的实现

2.4 控制程序

How to make a Compiler -- 一个简单DFA自动机的实现

2.5 main 函数

How to make a Compiler -- 一个简单DFA自动机的实现