Automata, formal languages, and computations - Albacea, Eliezer A. (JPVA Publishing House, 2006)