Weighted Finite Automata and Metrics in Cantor Space
Ludwig Staiger · ResearchSpace (University of Auckland) · 2003
We show how weighted finite automata define topologies on the set of all $\omega$-words over a finite alphabet $X$. Moreover, we give a characterization of these topologies in terms of topologies on $X^\omega$ induced by languages $U\subseteq X^*$.