Polishness of some topologies related to word or tree automata

Olivier Finkel, Olivier Carton, Dominique Lecomte

We prove that the Büchi topology and the automatic topology are Polish. We also show that this cannot be fully extended to the case of a space of infinite labelled binary trees; in…