通过语言包含度实现模糊自动机的确定化
摘要：模糊有限自动机的确定化在这里被理解为将它们转化为等价的确定性模糊自动机，可以看作是具有可能无限状态数但具有模糊终态集合的确定性自动机。特别重要的确定化方法是提供与原始模糊有限自动机等价的最小确定性模糊自动机的方法，称为规范化方法。最近Janv{c}i''{c} and ''{C}iri''{c}在[10]中提出了一种模糊有限自动机的Brzozowski型确定化方法。在这里，我们提供了另一种模糊有限自动机$cal A=(A,sigma, delta, au)$在完备残余格上的规范化方法，该方法基于与$cal A$的状态相关联的右模糊语言的包含程度与被$cal A$识别的模糊语言的左导数的度量。当$delta $、$sigma $和$au$的成员资格值生成$cal L$的半环约简的有限子半环时，所提出的过程在有限步骤内终止。这个过程通常比Brzozowski型确定化更快，并且如果在残余格$cal L$中的基本操作可以在常数时间内执行，则它具有与[8]、[11]、[12]中提供的所有确定化过程相同的计算时间。
作者：Ivana Mici''c, Zorana Janv{c}i''c, Jelena Ignjatovi''c, Miroslav ''Ciri''c
论文ID：1410.6063
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-12-17