آلة محدودة الحالات

آلة محدودة الحالات(بالإنجليزية: Finite-State Machine)‏ اختصاراً FSM، أو ببساطة آلة الحالات هي نموذج حوسبة رياضي يستخدم لتصميم دارات المنطق المتتابع والبرامج الحاسوبية. وينظر على أنها آلة مجردة يمكن أن تكون في واحدة من عدد محدود من الحالات. تكون الآلة في حالة واحدة فقط في وقت واحد؛ ويطلق على هذه الحالة في هذه اللحظة: الحالة الراهنة. ويمكن أن تتغير من حالة إلى أخرى عند تفعيل حدث ما أو شرط؛ وهذا ما يسمى مرحلة انتقالية. وتعرف آلة حالات منتهية محددة بقائمة من حالاتها، حالتها الأولية، وشرط الانتقال من كل حالة إلى أخرى.

آلة الحالات المنتهية يمكن أن تحل عدد كبير من المشاكل، ومنها ماهو متمم لتصميم الإلكتروني وتصميم بروتوكول الاتصال والتحليل والتطبيقات الهندسية الأخرى. وبحوث البيولوجيا وبحوث الذكاء الاصطناعي، وتستخدم أحياناً لوصف النظم العصبية، واللغويات ويمكن استخدامها لوصف لسانيات اللغات الطبيعية.

أمثلة

• 
• 

انظر أيضا

• ذكاء اصطناعي
• نظام تحكم
• شبكة بيتري
• آلة تورنغ
• دائرة تزامن

مراجع

• 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".

وصلات خارجية

• Free On-Line Dictionary of Computing description of Finite State Machines
• NIST Dictionary of Algorithms and Data Structures description of Finite State Machines
• الانتاج (علوم الحاسب)