在文章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