On the Continuity Set of an omega Rational Function - ENS de Lyon - École normale supérieure de Lyon Access content directly
Journal Articles RAIRO - Theoretical Informatics and Applications (RAIRO: ITA) Year : 2008

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.
Fichier principal
Vignette du fichier
Continuity-set-rational-function.pdf (205.12 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

ensl-00216624 , version 1 (25-01-2008)

Identifiers

Cite

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

Altmetric

Share

Gmail Facebook Twitter LinkedIn More