确定权重有限自动机的同余及极小自动机Congruence and minimization of deterministic weighted finite automata
田径,徐慧
摘要(Abstract)：
主要研究对象是强双幺半群上的确定权重有限自动机A.首先给出了A上的同态定理和同构定理;接着,构造了识别φ的一个极小自动机Aφ;最后,证明极小自动机在同构意义下是唯一的.
关键词(KeyWords)： 确定权重自动机;同余;极小自动机
基金项目(Foundation): 国家自然科学基金(61402364);; 陕西省自然科学基金(2014JQ1014)
作者(Author): 田径,徐慧
参考文献(References)：
- [1]Rabin M O,Scott D.Finite automata and their decision problems[J].IBM Journal of Research and Development,1959,3(2):114-125.
- [2]Fleck A C.Isomorphism groups of automata[J].Journal of the Association for Computing Machinery,1962,9(4):469-476.
- [3]Droste M,Kuich W,Vogler H.Handbook of Weighted Automata[M].Heidelberg:Springer,2009.
- [4]Petkovic T.Congruence and homomorphisms of fuzzy automata[J].Fuzzy Sets and Systems,2006,157(3):444-458.
- [5]Li Y M,Pedrycz W.Minimization of lattice finite automata and its application to the decomposition of lattice languages[J].Fuzzy Sets and Systems,2007,158:1423-1436.
- [6]Droste M,Stu¨ber T,Vogler H.Weighted finite automata over strong bimonoids[J].Information Sciences,2010,180:156-166.
- [7]Ciric M,Droste M,Ignjatovic J,et al.Determinization of weighted finite automata over strong bimonoids[J].Information Sciences,2010,180:3497-3520.