Equivalence kernels of sequential functions and sequential observation synthesis

Paulin Fournier, Nathan Lhote

We show that one can decide if a rational equivalence relation can be given as the equivalence kernel of a sequential letter-to-letter transduction. This problem comes from the set…