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 particular the Büchi and the Muller topologies are
not Polish in this case.