Theory of finite automata with an introduction to formal languages - Carroll, John 1944-; Long, Darrell D. (Prentice Hall, 1989)
Keywords: Langages formels; Machines séquentielles, Théorie des; automate fini; décidabilité; langage algébrique; langage formel; machine Turing; Formal languages; Sequential machine theory; Computerarchitektur; Warteschlangentheorie; Automatentheorie; Endlicher Automat; Datenverarbeitungssystem; Leistungsbewertung; Formale Sprache; Mathematisches Modell; Theorie; Aufgabensammlung