Introduction to automata theory, languages, and computation - Hopcroft, John E., 1939-; Motwani, Rajeev; Ullman, Jeffrey D., 1942- (Boston : Pearson/Addison Wesley, 2007)
Automata : the methods and the madness -- Finite automata -- Regular expressions and languages -- Properties of regular languages -- Context-free grammars and languages -- Pushdown automata -- Properties of context-free languages -- Introduction to turing machines -- Undecidability -- Intractable problems -- Additional classes of problems
Includes bibliographical references and index
10
Keywords: Complexite de calcul (Informatique); Computational complexity; Formal languages; Langages formels; Machine theory