Lucene Automaton（三）

在文章Automaton（二）中我们根据图1的例子生成了图2的转移图以及转移图对应在源码中的描述方式，即状态（state）、转移（transition）函数两个数组，如图3所示：

图1：

图2：

图3：

  如果给定一个term，它的最后一个字符作为输入字符，随后在某个状态下，能根据某个转移函数找到下一个状态，并且该状态为可接受状态，那么term是被DFA接受的，其中输入字符、状态、转移函数、DFA的概念见文章Automaton的介绍。

  根据图3的两个数据结构，用肉眼已经可以判断出一个term能否被DFA接受，但是源码中基于这两个数组还会进一步处理，使得能更快速的判断term是否被DFS接受，处理的结果为生成一个新的transitions[ ]数组，使得根据状态、输入字符两个条件能在该数组中找到下一个状态。由于源码中该数组与图3中的数组名重名了，为了便于描述，下文将称呼这个新的transitions[ ]数组为newTransitions[ ]数组。

 

看这里：https://www.amazingkoala.com.cn/Lucene/gongjulei/2020/0821/163.html