从模糊正则表达式构建模糊自动机
摘要：用模糊有限自动机和模糊正则表达式来表示格序单子中的成员值，并推广了形式语言经典理论的众所周知的结果。模糊正则表达式可以表示带有整数格序单子的模糊语言，并且只有当它可以被模糊有限自动机识别时才能被表示。然而，他们没有提供从给定的模糊正则表达式构建等价模糊有限自动机的有效方法。在本文中，我们提供了这样一种有效的方法。通过将模糊正则表达式中出现的标量转换为新扩展字母的方式，我们将模糊正则表达式转换为普通正则表达式。然后，从识别由普通正则表达式表示的语言的任意非确定性有限自动机A开始，我们构造了具有相同或更少状态数量的模糊有限自动机A_alpha和A_alpha^r，它们识别由模糊正则表达式alpha表示的模糊语言。非确定性有限自动机A可以通过使用将正则表达式转换为非确定性有限自动机的众所周知的构造之一来从alpha_R获得，如Glushkov-McNaughton-Yamada的位置自动机，Brzozowski的导数自动机，Antimirov的部分导数自动机，或Ilie-Yu的跟随自动机。
作者：Aleksandar Stamenkovi''c, Miroslav ''Ciri''c
论文ID：1105.6190
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-04-01