Introduction to Automata Theory, Languages, and Computation - впливовий підручник формальних мов та теорії алгоритмів написаний Джоном Гопкрофтом та Джеффрі Ульманом. брав участь в написанні новіших видань з 2000 року.
Прізвисько The Jargon File описує прізвисько книжки, Cinderella Book: "Названа так, бо на обкладинці зображена дівчина (як вважається, Попелюшка) що сидить напроти машини Руба Голдберга і тримає мотузку що виходить з машини. На малюнку на задній стороні обкладинки все поламано, бо вона потягнула за мотузку."
Історія видань
Попередник книжки з'явився під назвою Formal Languages and Their Relation to Automata в 1968. Формуючи основу для створення курсів на цю тему, а також для подальших досліджень, ця книжка формувала галузь теорії автоматів протягом понад декади.
Зноски