加权自动机的极小确定化  

Minimal-determinization of Weighted Automaton

作　　者：庞美玲[1] 李永明[1] 

机构地区：[1]陕西师范大学数学与信息科学学院,陕西西安710119

出　　处：《模糊系统与数学》2015年第6期124-137,共14页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目(11271237;61228305);教育部博士点基金资助项目(200807180005)

摘　　要：本文给出了可消d-半环上加权自动机的极小确定化算法及其证明。通过定义加权自动机的等价状态,利用状态集上的等价关系和极大分解给出了可消d-半环上加权自动机的完备极小确定化算法,并给出了该算法的详细证明。The minimal deterministic algorithm of weighted automata and its proof on the cancellative d-semiring are given in this paper. Through the equivalent relation on states of weighted automata and maximal factorization, the complete minimal deterministic algorithm of weighted automata is given, including its proof in detail.

关 键 词：可消d-半环 加权自动机 完备极小确定化 完备极小化算法 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]