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

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

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

أمثلة

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

مراجع 

 
 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.
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 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
 
 
 
 
 
 
  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
 الانتاج (علوم الحاسب)

هندسة رياضية