آلة محدودة الحالات
مراجع

↑  عمر شابسيغ؛ أميمة الدكاك؛ نوار العوا؛ هاشم ورقوزق (2016)، معجم مصطلحات الهندسة الكهربائية والإلكترونية والاتصالات (بالعربية والإنجليزية)، دمشق: مجمع اللغة العربية بدمشق، ص. 74، QID:Q108405620
↑  معجم الحاسبات (بالعربية والإنجليزية) (ط. 3). القاهرة: مجمع اللغة العربية بالقاهرة. 2003. ص. 120. ISBN:978-977-01-8550-6. OCLC:784561745. QID:Q113638576.
Sakarovitch، Jacques (2009). Elements of automata theory. Translated from the French by Reuben Thomas. مطبعة جامعة كامبريدج. Zbl:1188.68177{{استشهاد بكتاب}}:  صيانة الاستشهاد: postscript (link)
Wagner, F., "Modeling Software with Finite State Machines: A Practical Approach", Auerbach Publications, 2006, ISBN 0-8493-8086-3.
ITU-T, Recommendation Z.100 Specification and Description Language (SDL)
Samek, M., Practical Statecharts in C/C++, CMP Books, 2002, ISBN 1-57820-110-1.
Samek, M., Practical UML Statecharts in C/C++, 2nd Edition, Newnes, 2008, ISBN 0-7506-8706-1.
Gardner, T., Advanced State Management, 2007
Cassandras, C., Lafortune, S., "Introduction to Discrete Event Systems". Kluwer, 1999, ISBN 0-7923-8609-4.
Timothy Kam, Synthesis of Finite State Machines: Functional Optimization. Kluwer Academic Publishers, Boston 1997, ISBN 0-7923-9842-4
Tiziano Villa, Synthesis of Finite State Machines: Logic Optimization. Kluwer Academic Publishers, Boston 1997, ISBN 0-7923-9892-0
Carroll, J., Long, D., Theory of Finite Automata with an Introduction to Formal Languages. Prentice Hall, Englewood Cliffs, 1989.
Kohavi, Z., Switching and Finite Automata Theory. McGraw-Hill, 1978.
Gill, A., Introduction to the Theory of Finite-state Machines. McGraw-Hill, 1962.
Ginsburg, S., An Introduction to Mathematical Machine Theory. Addison-Wesley, 1962.
Arbib، Michael A. (1969). Theories of Abstract Automata (ط. 1st). Englewood Cliffs, N.J.: Prentice-Hall, Inc.
Bobrow، Leonard S.؛ Arbib، Michael A. (1974). Discrete Mathematics: Applied Algebra for Computer and Information Science (ط. 1st). Philadelphia: W. B. Saunders Company, Inc.
Booth، Taylor L. (1967). Sequential Machines and Automata Theory (ط. 1st). New York: John Wiley and Sons, Inc. Library of Congress Card Catalog Number 67-25924.
Boolos، George؛ Jeffrey، Richard (1989, 1999). Computability and Logic (ط. 3rd). Cambridge, England: Cambridge University Press. {{استشهاد بكتاب}}: تحقق من التاريخ في: |سنة= (مساعدة)
Brookshear، J. Glenn (1989). Theory of Computation: Formal Languages, Automata, and Complexity. Redwood City, California: Benjamin/Cummings Publish Company, Inc.
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.
Hopcroft، John؛ Ullman، Jeffrey (1979). Introduction to Automata Theory, Languages, and Computation (ط. 1st). Reading Mass: Addison-Wesley.
Hopcroft، John E.؛ Motwani، Rajeev؛ Ullman، Jeffrey D. (2001). Introduction to Automata Theory, Languages, and Computation (ط. 2nd). Reading Mass: Addison-Wesley.
Hopkin، David؛ Moss، Barbara (1976). Automata. New York: Elsevier North-Holland.
Kozen، Dexter C. (1997). Automata and Computability (ط. 1st). New York: Springer-Verlag.
Lewis، Harry R.؛ Papadimitriou، Christos H. (1998). Elements of the Theory of Computation (ط. 2nd). Upper Saddle River, New Jersey: Prentice-Hall.
Linz، Peter (2006). Formal Languages and Automata (ط. 4th). Sudbury, MA: Jones and Bartlett.
Minsky، Marvin (1967). Computation: Finite and Infinite Machines (ط. 1st). New Jersey: Prentice-Hall.
Papadimitriou، Christos (1993). Computational Complexity (ط. 1st). Addison Wesley.
Pippenger، Nicholas (1997). Theories of Computability (ط. 1st). Cambridge, England: Cambridge University Press.
Rodger، Susan؛ Finley، Thomas (2006). JFLAP: An Interactive Formal Languages and Automata Package (ط. 1st). Sudbury, MA: Jones and Bartlett.
Sipser، Michael (2006). Introduction to the Theory of Computation (ط. 2nd). Boston Mass: Thomson Course Technology.
Wood، Derick (1987). Theory of Computation (ط. 1st). New York: Harper & Row, Publishers, Inc.
Yuri Gurevich (2000), Sequential Abstract State Machines Capture Sequential Algorithms, ACM Transactions on Computational Logic, vl. 1, no. 1 (July 2000), pages 77–111. http://research.microsoft.com/~gurevich/Opera/141.pdf
Mitchell، Tom M. (1997). Machine Learning (ط. 1st). New York: WCB/McGraw-Hill Corporation.
Booth، Taylor L. (1967). Sequential Machines and Automata Theory (ط. 1st). New York: John Wiley and Sons, Inc. Library of Congress Card Catalog Number 67-25924.
Booth، Taylor L. (1971). Digital Networks and Computer Systems (ط. 1st). New York: John Wiley and Sons, Inc.
McCluskey، E. J. (1965). Introduction to the Theory of Switching Circuits (ط. 1st). New York: McGraw-Hill Book Company, Inc. Library of Congress Card Catalog Number 65-17394.
Hill، Fredrick J.؛ Peterson، Gerald R. (1965). Introduction to the Theory of Switching Circuits (ط. 1st). New York: McGraw-Hill Book Company. Library of Congress Card Catalog Number 65-17394.
Booth، Taylor L. (1967). Sequential Machines and Automata Theory (ط. 1st). New York: John Wiley and Sons, Inc. Library of Congress Card Catalog Number 67-25924.
Kemeny، John G.؛ Mirkil، Hazleton؛ Snell، J. Laurie؛ Thompson، Gerald L. (1959). Finite Mathematical Structures (ط. 1st). Englewood Cliffs, N.J.: Prentice-Hall, Inc. Library of Congress Card Catalog Number 59-12841. Chapter 6 "Finite Markov Chains".