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

Minimal-deterministic realizations of pseudo weighted transducers

给出了伪加权转换器及确定型伪加权转换器的定义.在输入输出函数值域有限的条件下,利用输入输出函数上的等价关系给出了伪加权转换器的极小确定实现化.利用状态集上的等价关系给出了确定型伪加权转换器的极小化,证明了确定型伪加权转换器在上述两种方法下的极小化是同构的.

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.