Taking the theory of Deterministic Finite Automata and plugging it into Python with Professor Thorsten Altenkirch of the University of Nottingham. Longer version of this video with more examples: https://youtu.be/oHVHkkah3MY The professor's code: https://bit.ly/C_Thor_DFA_Code (may be easier to follow with the longer video) https://www.facebook.com/computerphile https://twitter.com/computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a sister project to Brady Haran's Numberphile. More at http://www.bradyharan.com