Arithmancia Automatorum

Did you know that Finite Automata can recognize divisibility? To find one such automaton, the procedure is simple but constructing the minimal one requires a lot of modular arithmetic.