论文部分内容阅读
近年来，得益于格值文法及其语言的深入发展，研究和完善格值有限自动机理论日益成为热点问题．本文研究了取值于格半群的格值有限自动机的分类和格值有限自动机的状态最小化算法，主要采用比较与类比、分析与综合、归纳与反证等理论推导方法并进行实验仿真和实例验证．具体工作概括如下：提出格值有限自动机的分类，并分别讨论了不同形式的Mealy格值有限自动机和Mizumoto格值有限自动机的最小化算法．