Limitedness theorem on finite automata with distance functions
scientific article; zbMATH DE number 3810934