What Do Finite Automata Tell Us?
thecomputation.com