[发明专利]一种基于图搜索方法加速epsilon闭包计算的方法及系统

权利要求书

1.一种基于图搜索方法加速epsilon闭包计算的方法，其特征在于，包括以下步骤：

将非确定有限状态自动机NFA状态下空转移集合的出边状态和入边状态按照入边状态编号由大到小排序，将排序第一的状态作为当前状态开始计算；

每次循环当前状态时，首先默认所有状态都未被标注过，利用一个栈来标注出已经计算过的空转移状态，标注出所有NFA未进栈的状态和已进栈的状态，将当前状态压入栈中并标注为已进栈，未入栈表示还未标注；然后弹出栈顶元素并加入到当前闭包集合中，对弹出栈顶元素的状态能到达并未标注过的空转移边，即出边状态压进栈中，便于后续遍历栈中含有空转移边状态；

如果对应入边的出边状态已经进栈，则继续遍历，否则查询该出边状态的闭包集合并判断是否为空，如果不为空，则将出边状态对应的闭包集合加入到当前状态的闭包集合中，否则将出边状态压入栈中并标记为已经进栈；

按照上述步骤直到遍历完所有的状态集合至栈中元素为空为止，找出全部的闭包集合，转化为确定有限状态机DFA。

2.如权利要求1所述的方法，其特征在于，通过标注flag的方式标注出所有NFA未进栈的状态和已进栈的状态。

3.一种基于图搜索方法加速epsilon闭包计算的系统，包括存储器和处理器，该存储器存储由该处理器执行的计算机程序，其特征在于，该计算机程序用于执行上述权利要求1或2所述方法中的各个步骤。

4.一种存储计算机程序的计算机可读存储介质，其特征在于，该计算机程序当由系统的处理器执行时使得该系统执行上述权利要求1或2所述方法中的各个步骤。