Taking the theory of Deterministic Finite Automata and plugging it into Python with Professor Thorsten Altenkirch of the University of Nottingham.
