Weighted Finite Automata and Metrics in Cantor Space

Abstract

We show how weighted finite automata define topologies on the set of all w-words over a finite alphabet X. Moreover, we give a characterization of these topologies in terms of topologies on Xw induces by languages U ⊆ X*.