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

آلة محدودة الحالات(بالإنجليزية: 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
• الانتاج (علوم الحاسب)