Davis, Martin; Sigal, Ron; Weyuker, Elaine J. (1994). Computability, Complexity, and Languages and Logic: Fundamentals of Theoretical Computer Science (الطبعة 2nd). San Diego: Academic Press, Harcourt, Brace & Company. ISBN 0-12-206382-1. Hopcroft, John; Ullman, Jeffrey (1979). Introduction to Automata Theory, Languages, and Computation (الطبعة 1st). Reading Mass: Addison-Wesley. ISBN 0-201-02988-X. Hopcroft, John E. ; Motwani, Rajeev; Ullman, Jeffrey D. (2001). Introduction to Automata Theory, Languages, and Computation (الطبعة 2nd). ISBN 0-201-44124-1. Hopkin, David; Moss, Barbara (1976). Automata. New York: Elsevier North-Holland. ISBN 0-444-00249-9. Kozen, Dexter C. (1997). Automata and Computability (الطبعة 1st). New York: Springer-Verlag. ISBN 0-387-94907-0. Lewis, Harry R. ; Papadimitriou, Christos H. (1998). Elements of the Theory of Computation (الطبعة 2nd). Upper Saddle River, New Jersey: Prentice-Hall. ISBN 0-13-262478-8. Linz, Peter (2006). Formal Languages and Automata (الطبعة 4th).
Sudbury, MA: Jones and Bartlett. ISBN 978-0-7637-3798-6. Minsky, Marvin (1967). Computation: Finite and Infinite Machines (الطبعة 1st). New Jersey: Prentice-Hall. Papadimitriou, Christos (1993). Computational Complexity (الطبعة 1st). Addison Wesley. ISBN 0-201-53082-1. Pippenger, Nicholas (1997). Theories of Computability (الطبعة 1st). ISBN 0-521-55380-6. Rodger, Susan; Finley, Thomas (2006). JFLAP: An Interactive Formal Languages and Automata Package (الطبعة 1st). ISBN 0-7637-3834-4. Sipser, Michael (2006). Introduction to the Theory of Computation (الطبعة 2nd). Boston Mass: Thomson Course Technology. ISBN 0-534-95097-3. Wood, Derick (1987). Theory of Computation (الطبعة 1st). New York: Harper & Row, Publishers, Inc. ISBN 0-06-047208-1. Yuri Gurevich (2000), Sequential Abstract State Machines Capture Sequential Algorithms, ACM Transactions on Computational Logic, vl. 1, no. 1 (July 2000), pages 77–111. Mitchell, Tom M. Machine Learning (الطبعة 1st). New York: WCB/McGraw-Hill Corporation.