Automata Programming in Python