Polishness of some topologies related to word or tree automata
  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.
