From Introduction to automata theory, langauges, and computation John E. Hopcroft and Jeffrey D. Ullman, pp 14-15, Addison Wesley, 1979