Introduction to automata theory, languages and computation - Hopcroft John E; Ullman Jeffrey D (Menlopark Addison-Wesley, 1979)
Keywords: Formal languages; Machine theory