Polishness of Some Topologies Related to Automata
Abstract
We prove that the Büchi topology, the automatic topology, the alphabetic topology and the strong alphabetic topology are Polish, and provide consequences of this.
Origin | Publisher files allowed on an open archive |
---|
Loading...