DFA 算法 java dfa算法讲解

确定有限状态自动机学习笔记

1 简介

自动机是一个对信号序列进行判定的数学模型。其中，信息序列是指一连串有顺序的信号，例如字符串从前到后的每一个字符，数组从 \(1\) 到 \(n\)

2 讲解

自动机的工作原理和地推十分相似，自动机是一张有向图，其每一个节点都是一个判定节点，自动机的节点是一个状态而非任务，自动机的边可以接受多种字符。

例如判断一个二进制数是否为偶数的自动机如下：

从起始节点开始，从高到低接受这个数的二进制序列，然后看看最终停在哪里，如果在红圈之内，那么就是偶数，否则不是。

需要注意的是自动机是一个数学模型，不是算法，也不是数据结构。