In this section, we show how our synthesis technique can also be used to “repair” buggy transducers.
The key idea is to use the closure properties of automata and transducers—e.g., closure under union and sequential compositions [1]}—to reduce repair problems to synthesis ones.
The ability to algebraically manipulate transducers and automata is one of the key aspects that distinguishes our work from other synthesis works that use domain-specific languages [2]}, [3]}.
