LI Ping1 , LI Yong-ming1,2*
(1 College of Mathematics and Information Sciences, Shaanxi Normal University;2 College of Computer Sciences, Shaanxi Normal University, Xi′an 710062, Shaanxi, China))
Abstract:
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.
KeyWords:
pseudo semiring; pseudo weighted transducer; deterministic pseudo weighted transducer; realization; isomorphism
