On the continuity set of an Omega rational function
From MaRDI portal
Publication:3514642
Abstract: In this paper, we study the continuity of rational functions realized by B"uchi 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.
Recommendations
- scientific article; zbMATH DE number 6701893
- On real valued -continuous functions
- Omega-limit sets and non-continuous functions
- Omega-limit sets and non-continuous functions
- Properties of -continuous functions
- scientific article; zbMATH DE number 149358
- On \alpha-continuous functions
- Properties of almost \(\omega\)-continuous functions
- On continuous rational functions
- scientific article; zbMATH DE number 6459896
Cites work
- \(X\)-automata on \(\omega\)-words
- Borel ranks and Wadge degrees of context free \omega-languages
- Decision problems forω-automata
- Formal properties of finite automata and applications. LITP Spring school on theoretical computer science, Ramatuelle, France, May 23-27, 1988. Proceedings
- How to decide continuity of rational functions on infinite words
- scientific article; zbMATH DE number 1670852 (Why is no real title available?)
- scientific article; zbMATH DE number 4019040 (Why is no real title available?)
- scientific article; zbMATH DE number 3660804 (Why is no real title available?)
- scientific article; zbMATH DE number 3780583 (Why is no real title available?)
- scientific article; zbMATH DE number 3566723 (Why is no real title available?)
- scientific article; zbMATH DE number 722611 (Why is no real title available?)
- scientific article; zbMATH DE number 1142314 (Why is no real title available?)
- scientific article; zbMATH DE number 2040947 (Why is no real title available?)
- scientific article; zbMATH DE number 1408334 (Why is no real title available?)
- scientific article; zbMATH DE number 2206109 (Why is no real title available?)
- Logic, semigroups and automata on words
- On the Accepting Power of 2-Tape Büchi Automata
- On the Topological Complexity of Infinitary Rational Relations
- Rekursive Folgenmengen I
- Relations rationnelles infinitaires
- Sequential mappings of \omega -languages
- Squaring transducers: An efficient procedure for deciding functionality and sequentiality.
- Synchronized rational relations of finite and infinite words
- Undecidability of Topological and Arithmetical Properties of Infinitary Rational Relations
- Une caractérisation des fonctions séquentielles et des fonctions sous- séquentielles en tant que rélations rationnelles
- Π11 Borel sets
Cited in
(7)- How to decide continuity of rational functions on infinite words
- scientific article; zbMATH DE number 1264914 (Why is no real title available?)
- Three applications to rational relations of the high undecidability of the infinite Post correspondence problem in a regular -language
- Continuity of functional transducers: a profinite study of rational functions
- Omega-limit sets and non-continuous functions
- Two Effective Properties of ω-Rational Functions
- The automatic Baire property and an effective property of -rational functions
This page was built for publication: On the continuity set of an Omega rational function
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3514642)
