Non deterministic finite state automata described and then shown in Python by Professor Thorsten Altenkirch