Nie jesteś zalogowany |
Uniformization of MSO-definable relation on integers
- Prelegent(ci)
- Grzegorz Fabiański
- Afiliacja
- Uniwersytet Warszawski
- Termin
- 13 listopada 2019 14:15
- Pokój
- p. 5050
- Seminarium
- Seminarium „Teoria automatów”
We consider the problem to decide, whether a given MSO-definable relation R of the bi-infinite words (words over integers), there exist a MSO-definable function F (a functional relation between bi-infinite words) which uniformize it (meaning that if x R y then also x R f(x)).
We argue that this problem is decidable.
