 |
 |
 |
 |
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.
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00216624
Contributor : Olivier Finkel <>
Submitted on : Friday, January 25, 2008 - 8:57:38 AM
Last modification on : Saturday, March 28, 2020 - 2:20:08 AM
Long-term archiving on: : Thursday, April 15, 2010 - 6:46:17 PM
Contributor : Olivier Finkel <>
Submitted on : Friday, January 25, 2008 - 8:57:38 AM
Last modification on : Saturday, March 28, 2020 - 2:20:08 AM
Long-term archiving on: : Thursday, April 15, 2010 - 6:46:17 PM
Files
Continuity-set-rational-functi...
Files produced by the author(s)