no code implementations • 23 Apr 2021 • Raphaël Berthon, Adrien Boiret, Guillermo A. Perez, Jean-François Raskin
We show that there exists an algorithm using string equation solvers that uses this knowledge to learn subsequential string transducers with a better guarantee on the required number of equivalence queries than classical active learning.