On the continuity set of an Omega rational function

DOI10.1051/ita:2007050zbMath1149.03028arXiv0801.3912OpenAlexW2118284263MaRDI QIDQ3514642

Olivier Carton, Pierre Simonnet, Olivier Finkel

Publication date: 21 July 2008

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0801.3912

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Related Items (2)

Two Effective Properties of ω-Rational Functions ⋮ THREE APPLICATIONS TO RATIONAL RELATIONS OF THE HIGH UNDECIDABILITY OF THE INFINITE POST CORRESPONDENCE PROBLEM IN A REGULAR ω-LANGUAGE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Synchronized rational relations of finite and infinite words
• Relations rationnelles infinitaires
• \(X\)-automata on \(\omega\)-words
• Une caractérisation des fonctions séquentielles et des fonctions sous- séquentielles en tant que rélations rationnelles
• How to decide continuity of rational functions on infinite words
• Formal properties of finite automata and applications. LITP Spring school on theoretical computer science, Ramatuelle, France, May 23-27, 1988. Proceedings
• Logic, semigroups and automata on words
• Squaring transducers: An efficient procedure for deciding functionality and sequentiality.
• Borel ranks and Wadge degrees of context free $\omega$-languages
• Sequential mappings of $\omega $-languages
• Rekursive Folgenmengen I
• Π₁¹ Borel sets
• On the Topological Complexity of Infinitary Rational Relations
• Undecidability of Topological and Arithmetical Properties of Infinitary Rational Relations
• On the Accepting Power of 2-Tape Büchi Automata
• Decision problems forω-automata

This page was built for publication: On the continuity set of an Omega rational function