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

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

آلة الحالة المحدودة ، المدخلات ، النماذج ، مصطلحات البرمجة