Polishness of some topologies related to automata (Extended version)
We prove that the Büchi topology, the automatic topology, the alphabetic topology and the strong alphabetic topology are Polish, and provideconsequences of this. We also show that this cannot be fully extended to the case of a space of infinite labelled binary trees; in particular the Büchi and the Muller topologies in that case are not Polish.
READ FULL TEXT