Transducers are finite state machines that produce output. We say two transducers are close if the distance between their outputs are bounded with respect to some metric. The proposal is to devise algorithms to decide if two transducers are close. A case in point is the problem of checking if the edit- distance of two transducers are bounded.
Indian Institute of Technology (IIT)
Acces sibility Controls