HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

On the Continuity Set of an omega Rational Function

Abstract : 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 Pi^0_2-subset of X^omega for some alphabet X is the continuity set C(F) of an omega-rational synchronous function F defined on X^omega.
Complete list of metadata

Contributor : Olivier Finkel Connect in order to contact the contributor
Submitted on : Friday, January 25, 2008 - 8:57:38 AM
Last modification on : Saturday, November 20, 2021 - 3:49:42 AM
Long-term archiving on: : Thursday, April 15, 2010 - 6:46:17 PM


Files produced by the author(s)


  • HAL Id : ensl-00216624, version 1
  • ARXIV : 0801.3912


Olivier Carton, Olivier Finkel, Pierre Simonnet. On the Continuity Set of an omega Rational Function. RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2008, 42 ((1)), pp.183-196. ⟨ensl-00216624⟩



Record views


Files downloads