Introduction to Automata Theory, Languages, and Computation
（重定向自Cinderella Book）
Introduction to Automata Theory, Languages, and Computation is an influential computer science textbook by John Hopcroft and Jeffrey Ullman on formal languages and the theory of computation.