Research
Title : | Deciding Closeness of Finite State Transducers |
Area of Research : | Mathematical Sciences |
Principal Investigator : | Dr. Amaldev Manuel, Indian Institute Of Technology (IIT), Goa |
Contact info : | amal@iitgoa.ac.in |
Timeline Start Year : | 2023 |
Timeline End Year : | 2026 |
Total Budget (INR): | 6,60,000 |
Details
Executive Summary : | 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. |
Organizations involved
Implementing Agency : | Indian Institute Of Technology (IIT), Goa Funding Agency :Anusandhan National Rsearch Foundation (ANRF)/Science and Engineering Research Board (SERB) | Source:Science and Engineering Research Board (SERB), DST 2022-23 | |