a1 LIAFA, Université Paris 7 et CNRS, 2 Place Jussieu 75251 Paris Cedex 05, France; Olivier.Carton@liafa.jussieu.fr
a2 Équipe Modèles de Calcul et Complexité,
a3 UMR 6134-Systèmes Physiques de l'Environnement, Faculté des Sciences, Université de Corse, Quartier Grossetti BP52 20250, Corte, France; firstname.lastname@example.org
In this paper, we study the continuity of rational functions realized by Büchi finite state transducers. It has been shown by Prieur that it can be decided whether such a function is continuous. We prove here that surprisingly, it cannot be decided whether such a function f has at least one point of continuity and that its continuity set C(f) cannot be computed. In the case of a synchronous rational function, we show that its continuity set is rational and that it can be computed. Furthermore we prove that any rational -subset of Σ ω for some alphabet Σ is the continuity set C(f) of an ω-rational synchronous function f defined on Σ ω .
(Online publication January 18 2008)
Mathematics Subject Classification: