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