一种将有限自动机中的循环转换为正则表达式的方法

摘要

本发明公开了一种将有限自动机中的循环转换为正则表达式的方法，主要解决了传统方法无法将有限自动机中的复杂循环转换为正则表达式的问题。其步骤是：步骤一：识别有限自动机中的所有循环，包括自循环和间接循环；步骤二：为自循环和间接循环构造新的迁移条件序列；步骤三：若循环是为自循环，则直接删除循环上的状态和迁移条件；若循环为间接循环，则删除除循环初始状态外的所有状态和相关的迁移条件；步骤四：将新的迁移条件序列加入到有限自动机中；步骤五：输出不带循环的有限自动机。本发明能被应用于软件行为建模、基于模型的测试、硬件电路系统设计、软件工程、编译器、网络协议和计算与语言的研究等领域，显著地提高计算机处对含有复杂循环的有限自动机的处理能力。