نظام حالة الانتقال

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث

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

تتطابق أنظمة حالة-انتقال رياضيات مع أنظمة إعادة الكتابة المجردة. بالمقابل فهي تختلف عن أوتومات الحالة المنتهية بعدة أمور:

  • ليس من الضروري أن تكون مجموعة الحالات منتهيةً، أو حتى قابلةً للعد في أنظمة حالة-انتقال.
  • ليس من الضروري أن تكون مجموعة الانتقالات منتهيةً، أو حتى قابلةً للعد في أنظمة حالة-انتقال.
  • في أوتومات الحالة المنتهية يتم التمييز بين حالة "بداية" وحيدة، ومجموعة من حالات "النهاية".

من الممكن تمثيل نظام حالة-انتقال كـبيان موجه.