آلة الدولة المحدودة - Finite-state machine

هذه صفحة مكتوبة بالعربية البسيطة، انظر الصفحة الأصلية
شكل.1 مثال لآلة محدودة الحالات

الآلة محدودة الحالات Finite-state machine أو الأوتوماتون (وجمعه الأوتوماتا) محدود الحالات Finite-state automata أو نظرية الاتومات، في علوم الكمبيوتر النظرية، هي دراسة الآلات المجردة والمشاكل التي تقدر تلك الآلات على حلها .

تدعى هذه الآلات المجردة بالأوتوماتا. إن أي آلة اتومات منفصلة هي نموذج لآلة منتهية الحالات FSM "finite state machine" التي هي عبارة عن جهاز يأخذ رمزا كمدخل و ينتقل من حالة إلى أخرى وفقا لتابع يدعى تابع الانتقال transition function ( يمكن توصيف تابع الانتقال بجدول). تابع الانتقال يخبر الاتومات الى اي مرحلة يجب ان ينتقل إليها وذلك وفقاً للحالة الراهنة والرمز المدخل .

جدول تغير الحالة
الحالة الراهنة →
الشرط ↓
الحالة A الحالة B الحالة C
الشرط X ... ... ...
الشرط Y ... الحالة C ...
الشرط Z ... ... ...


. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

تصنيف[تحرير | عدل المصدر]

There are two different groups: Acceptors/Recognizers and Transducers.


Acceptors and recognizers[تحرير | عدل المصدر]

Fig. 2 Acceptor FSM: parsing the word "nice"


UML state machines[تحرير | عدل المصدر]

Fig. 5 UML state machine example (a toaster oven)


دلالات بديلة[تحرير | عدل المصدر]

Fig. 6 Model of a simple stopwatch[1]

منطق FSM[تحرير | عدل المصدر]

Fig. 7 FSM Logic (Mealy)


التنفيذ[تحرير | عدل المصدر]

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

تطبيقات العتاد[تحرير | عدل المصدر]

Fig. 8 The circuit diagram for a 4-bit TTL counter, a type of state machine


تطبيقات البرمجيات[تحرير | عدل المصدر]

المفاهيم التالية تشيع استخدامها لبناء تطبيقات برمجية بآلات محدودة الحالات:

انظر أيضاً[تحرير | عدل المصدر]


الهامش[تحرير | عدل المصدر]

  1. ^ Hamon, G., & Rushby, J. (2004). An Operational Semantics for Stateflow. Fundamental Approaches to Software Engineering (FASE) (pp. 229-243). Barcelona, Spain: Springer-Verlag.

وصلات خارجية[تحرير | عدل المصدر]