伪加权转换器的极小确定实现化  

Minimal-deterministic realizations of pseudo weighted transducers

作　　者：李平[1] 李永明[1,2] 

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

出　　处：《陕西师范大学学报（自然科学版）》2011年第6期14-17,22,共5页Journal of Shaanxi Normal University：Natural Science Edition

基　　金：国家自然科学基金资助项目(10571112);教育部高等学校博士点专项基金项目(200807180005)

摘　　要：给出了伪加权转换器及确定型伪加权转换器的定义.在输入输出函数值域有限的条件下,利用输入输出函数上的等价关系给出了伪加权转换器的极小确定实现化.利用状态集上的等价关系给出了确定型伪加权转换器的极小化,证明了确定型伪加权转换器在上述两种方法下的极小化是同构的.The definitions of pseudo weighted transducer and deterministic pseudo weighted transducer are given.Under the condition that the range of input-output functions are finite and by the equavalence input-output functions,the minimal-deterministic realization of pseudo weighted transducer is given.And by the equivalence on the set of states,the minimization of deterministic pseudo weighted transducers is given.It is proved that the two minimization of a deterministic pseudo weighted transducer by above two methods are isomorphic.

关 键 词：伪半环 伪加权转换器 确定型伪加权转换器 实现化 同构 

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