Two Effective Properties of ω-Rational Functions

DOI10.1142/S0129054121500283MaRDI QIDQ6169907zbMATH OpenOpenAlexFDO

Authors Olivier Finkel

Publication date 15 August 2023

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0129054121500283

zbMATH Keywords

topologydecidabilitydecision problemspoints of continuityfirst Baire class\(\omega\)-rational functionsautomatic Baire propertyinfinitary rational relationsregular languages of infinite wordsWadge-Wagner class

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Descriptive set theory (03E15)

Recommendations

• The automatic Baire property and an effective property of -rational functions
• On the continuity set of an Omega rational function
• Automata, Borel functions and real numbers in Pisot base
• Three applications to rational relations of the high undecidability of the infinite Post correspondence problem in a regular \(\omega\)-language
• How to decide continuity of rational functions on infinite words

Cites work

• scientific article; zbMATH DE number 3539162 (Why is no real title available?)
• scientific article; zbMATH DE number 1223638 (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 1408334 (Why is no real title available?)
• scientific article; zbMATH DE number 2206109 (Why is no real title available?)
• scientific article; zbMATH DE number 5279417 (Why is no real title available?)
• A note on monitors and Büchi automata
• Automata, Borel functions and real numbers in Pisot base
• Defining fairness in reactive and concurrent systems
• Fine hierarchies and m-reducibilities in theoretical computer science
• Fine hierarchy of regular \(\omega\)-languages
• Finite presentations of infinite structures: Automata and interpretations
• First-order and counting theories ofω-automatic structures
• Highly Undecidable Problems For Infinite Computations
• How to decide continuity of rational functions on infinite words
• Monadic Second Order Logic with Measure and Category Quantifiers
• Note on: ``How to decide continuity of rational functions on infinite words
• On the continuity set of an Omega rational function
• On ω-regular sets
• Relations rationnelles infinitaires
• Squaring transducers: An efficient procedure for deciding functionality and sequentiality.
• Synchronized rational relations of finite and infinite words
• The automatic Baire property and an effective property of -rational functions
• Three applications to rational relations of the high undecidability of the infinite Post correspondence problem in a regular \(\omega\)-language
• Two decidability problems for infinite words
• Wadge reducibility and infinite computations

Cited in

(4)

• Continuity of functional transducers: a profinite study of rational functions
• Automata, Borel functions and real numbers in Pisot base
• The automatic Baire property and an effective property of -rational functions
• How to decide continuity of rational functions on infinite words

This page was built for publication: Two Effective Properties of ω-Rational Functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6169907)