2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/212131We prove in this paper that there exists some infinitary rational relations which are analytic but non Borel sets, giving an answer to a question of Simonnet [Automates et Théorie Descriptive, Ph. D. Thesis, Université Paris 7, March 1992].Logic in Computer ScienceComputational ComplexityLogictext