✦ LIBER ✦
How to decide continuity of rational functions on infinite words
✍ Scribed by Christophe Prieur
- Publisher
- Elsevier Science
- Year
- 2001
- Tongue
- English
- Weight
- 127 KB
- Volume
- 250
- Category
- Article
- ISSN
- 0304-3975
No coin nor oath required. For personal study only.
✦ Synopsis
This paper presents a construction that computes the topological closure of a rational relation on inÿnite words. Besides showing that the closure is rational itself, it also reduces the question of the continuity and the uniform continuity of a function to the question of the functionality of its closure, which is known to be decidable in polynomial time.