[发明专利]一种有限状态自动机等效构件的识别方法及系统

说明书

本发明涉及一种有限状态自动机等效构件的识别方法及系统，方法包括：获取有限状态自动机的构件个数以及信号个数；所述信号个数由所述有限状态自动机的处理能力决定；根据所述构件个数以及所述信号个数构建有限状态自动机的结构矩阵；根据所述结构矩阵的列元素以及所述信号个数获取所述结构矩阵中待识别的等效构件；从所述待识别的等效构件中进行等效构件识别。本发明根据结构矩阵的列元素以及信号个数获取结构矩阵中待识别的等效构件，实现对有限状态自动机的硬件优化，为有限状态自动机的工程优化提供支撑。

技术领域

本发明涉及有限状态自动机等效构件识别技术领域，特别是涉及一种有限状态自动机等效构件的识别方法及系统。

背景技术

有限状态自动机(FSM，“finite state machine”或者FSA，“finite stateautomaton”)是为研究有限内存的计算过程和某些语言类而抽象出的一种计算模型，广泛应用于人工智能、机器人、语言学、视频编码以及现代计算机科学的许多领域中。有限状态自动机的状态空间优化是有限状态自动机理论中的一个重要问题，因为其硬件实现的存储空间随着有限状态自动机的状态数呈指数增长，所以其优化技术具有重要的工程实际意义。有限状态自动机的状态空间优化问题是将有限状态自动机的状态个数减少到最小，并使得到的机器保持原有机器的相同功能。

有限状态自动机的优化问题已经从多个方面进行了广泛研究，包括对同一类型的有限状态自动机采用不同的优化方法，对不同类型的有限状态自动机采用相似的优化方法，对某些特殊问题采用不同的优化方法等。但这些还是限于在理论领域的抽象研究，在工程技术方面，还没有硬件优化的技术方案。如何识别有限状态自动机的等效构件是硬件优化首要面对的问题。

发明内容

本发明的目的是提供一种有限状态自动机等效构件的识别方法及系统，以识别有限状态自动机的等效构件，对有限状态自动机的硬件进行优化。

为实现上述目的，本发明提供了如下方案：

一种有限状态自动机等效构件的识别方法，包括：

S1：获取有限状态自动机的构件个数以及信号个数；所述信号个数由所述有限状态自动机的处理能力决定；

S2：根据所述构件个数以及所述信号个数构建有限状态自动机的结构矩阵；

S3：根据所述结构矩阵的列元素以及所述信号个数获取所述结构矩阵中待识别的等效构件；

S4：从所述待识别的等效构件中进行等效构件识别。

可选地，所述结构矩阵的行数为所述构件个数，所述结构矩阵的列数为所述构件个数与所述信号个数的乘积。

可选地，步骤S3具体包括：

S31：判断所述结构矩阵的列元素是否都为零；

S32：若所述结构矩阵的列元素都为零，则所述结构矩阵中不存在待识别的等效构件；

S33：若所述结构矩阵的列元素不都为零，则根据所述信号个数分离所述结构矩阵，得到待识别的等效构件以及分离后的结构矩阵；

S34：对分离后的结构矩阵执行步骤S31-S33，直到分离后的结构矩阵的列元素都为零，得到总的待识别的等效构件。

一种有限状态自动机等效构件的识别系统，包括：

第一获取模块，用于获取有限状态自动机的构件个数以及信号个数；所述信号个数由所述有限状态自动机的处理能力决定；

结构矩阵构建模块，用于根据所述构件个数以及所述信号个数构建有限状态自动机的结构矩阵；

第二获取模块，用于根据所述结构矩阵的列元素以及所述信号个数获取所述结构矩阵中待识别的等效构件；