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.
Source
Source
Science and Engineering Research Board (SERB), DST 2022-23
Indian Institute Of Technology (IIT), Goa
Accessibility Controls