Cs3102: Theory of Computation Class 10: DFAs in Practice Spring 2010 University of Virginia David Evans.