Equivalence of Transducer
Wei Yu Gong, Jian Shi · Applied Mechanics and Materials · 2013
Today Finite Automata are used in several areas of economy and research, for example in language and text processing or E-Commerce. There are often automata with more than hundred thousand states. Minimization of such automata can only be done by classical minimization methods. But this doesnt produce Minimal Finite Automata with output. A Transducer is a special Finite Automata that produces an output. One of the challenges is to test the equivalence of Transducers, this will be shown in this paper.