automaton.py 16.7 KB