automaton.ml 8.06 KB