Automata, Borel functions and real numbers in Pisot base

DOI10.1051/ita:2007007zbMath1156.03036OpenAlexW2059488797MaRDI QIDQ5444100

Benoit Cagnard, Pierre Simonnet

Publication date: 22 February 2008

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

Full work available at URL: http://www.numdam.org/item?id=ITA_2007__41_1_27_0

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Descriptive set theory (03E15) Automata and formal grammars in connection with logical questions (03D05) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

Related Items

Two Effective Properties of ω-Rational Functions

Cites Work

• Synchronized rational relations of finite and infinite words
• Two decidability problems for infinite words
• How to decide continuity of rational functions on infinite words
• Note on: ``How to decide continuity of rational functions on infinite words
• On-the-fly algorithms and sequential machines
• On the Topological Complexity of Infinitary Rational Relations
• Undecidability of Topological and Arithmetical Properties of Infinitary Rational Relations
• Decision problems forω-automata
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item