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

"State machine" تحوّل إلى هنا. لمطالعة infinite state machines، انظر State transition system.

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

شكل.1 مثال لآلة محدودة الحالات

تدعى هذه الآلات المجردة بالأوتوماتا. إن أي آلة اتومات منفصلة هي نموذج لآلة منتهية الحالات 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.