Reducing Transducer Equivalence to Register Automata Problems Solved by "Hilbert Method"

Adrien Boiret, Radosław Piórkowski, Janusz Schmude

In the past decades, classical results from algebra, including Hilbert's Basis Theorem, had various applications in formal languages, including a proof of the Ehrenfeucht Conjectur…