Ultrametric Convergence of Guarded Automata and Applications to Structural Input Validation

Atanas Ilchev, Hristo Kiskinov, George Pashev +1

We equip language-equivalence classes of deterministic finite automata with a distinguishing-word ultrametric and identify the resulting space isometrically with the regular langua…