Automata & formal languages too theoretical? Not with PyAutomata