آلة محدودة الحالات
شكل.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.خمسة UML state machine example (a toaster oven)
دلالات بديلة
Fig.ستة Model of a simple stopwatch
منطق FSM
Fig.سبعة FSM Logic (Mealy)
التطبيق
تطبيقات العتاد
Fig.ثمانية 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
الهامش
- ^ Hamon, G., & Rushby, J. (2004). An Operational Semantics for Stateflow. Fundamental Approaches to Software Engineering (FASE) (pp. 229-243). Barcelona, Spain: Springer-Verlag.
وصلات خارجية
 |
مشاع الفهم فيه ميديا متعلقة بموضوع Finite state machine. |
- 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.
