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

"State machine" redirects here. For infinite state machines, see State transition system.

شكل.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)

المقالة الرئيسية: UML state machine

 دلالات بديلة

Fig. 6 Model of a simple stopwatch

 منطق FSM

Fig. 7 FSM Logic (Mealy)

 التنفيذ

 تطبيقات العتاد

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

 تطبيقات البرمجيات

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

• Automata-based programming
• Event driven FSM
• Virtual FSM (VFSM)

 انظر أيضاً

• آلة حالات مجردة
• ذكاء اصطناعي
• ASML
• نظام تحكم
• جداول القرار
• Extended finite state machine
• Finite state machine with datapath
• نموذج ماركوڤ خفي
• شبكة پتري
• Pushdown automaton
• Quantum finite automata
• Recognizable language
• Sequential logic
• Statechart
• Transition system
• أوتوماتون شجري
• آلة تورنگ
• UML state machine
• SCXML
• OpenGL

 وصلات خارجية

• Free On-Line Dictionary of Computing description of Finite State Machines
• NIST Dictionary of Algorithms and Data Structures description of Finite State Machines
• SourceForge open-source projects focused on state machines
• Intelliwizard - UML StateWizard - A ClassWizard-like round-trip UML dynamic modeling/development framework and tool running in popular IDEs.
• A registry of finite-state technology at the IT Center for Science, Finland.