Two Effective Properties of ω-Rational Functions
From MaRDI portal
Publication:6169907
DOI10.1142/s0129054121500283zbMath1520.03009OpenAlexW3197391454MaRDI QIDQ6169907
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
decision problemstopologydecidabilitypoints of continuityfirst Baire class\(\omega\)-rational functionsautomatic Baire propertyinfinitary rational relationsregular languages of infinite wordsWadge-Wagner class
Descriptive set theory (03E15) Automata and formal grammars in connection with logical questions (03D05)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Synchronized rational relations of finite and infinite words
- The automatic Baire property and an effective property of \(\omega\)-rational functions
- Relations rationnelles infinitaires
- Fine hierarchies and m-reducibilities in theoretical computer science
- Wadge reducibility and infinite computations
- Two decidability problems for infinite words
- Fine hierarchy of regular \(\omega\)-languages
- How to decide continuity of rational functions on infinite words
- Note on: ``How to decide continuity of rational functions on infinite words
- Finite presentations of infinite structures: Automata and interpretations
- Squaring transducers: An efficient procedure for deciding functionality and sequentiality.
- A Note on Monitors and Büchi Automata
- On the continuity set of an Omega rational function
- Highly Undecidable Problems For Infinite Computations
- On ω-regular sets
- Monadic Second Order Logic with Measure and Category Quantifiers
- THREE APPLICATIONS TO RATIONAL RELATIONS OF THE HIGH UNDECIDABILITY OF THE INFINITE POST CORRESPONDENCE PROBLEM IN A REGULAR ω-LANGUAGE
- First-order and counting theories ofω-automatic structures
- Defining Fairness in Reactive and Concurrent Systems
- Automata, Borel functions and real numbers in Pisot base
This page was built for publication: Two Effective Properties of ω-Rational Functions
