مخططات الحالة

مخطط الحالة (State diagram)‏ إن الخطوة الأولى في عملية تصميم النظام التتابعي هي تحديد الحالات السابقة المطلوبة. وهذه العملية تؤدي إلى مخطط الإنسياب الذي يمكن تجاوزه إذا كانت المسألة المطروحة بسيطة والانتقال مباشرة إلى جدول الحالة. نفترض أننا فشلنا خلال التفكير في هذا الموضوع في لحظة حالة جديدة مطلوبة في نقطة ما من المخطط أو أكثر فما تأثير ذلك على عمل النظام. بالطبع في هذه الحالة لن يعمل النظام كما يجب. وعندما لا يعمل النظام بشكل صحيح لا يوجد بديل عن البدء من جديد والتفكير في المسألة بحرص أكبر. من ناحية أخرى لنفترض أننا تصورنا خطأ أثناء تطوير مخطط الانسياب أو جدول الحالة أو أن هناك شيء جديد قد ظهر وقمنا لحفظه بإضافة حالات جديدة. فهل من الضروري هنا أيضاً البدء من جديد؟؟ بالطبع الجواب لا لأن هذا الخطأ لا يسبب أي ضرر. كما أن هناك طرقاً بسيطة تسمح بالتخلص من هذه الحالات الزائدة.

التخلص من الحالات الزائدة

عند التعامل مع الحالات الزائدة يجب أن لا ننسى أننا نبني النظام التتابعي من أجل غرض وحيد وهو تقديم مستويات منطقية متتابعة على مخرجه أو على مخارجه وذلك استجابة للمستويات المنطقية المتتابعة على مداخله. لنفترض لدينا نظامين تتابعيين. يستخدم الأول منهما أربعة قلابات لتوليد (16) حالة بينما يستعمل الثاني قلابين لتوليد أربعة حالات. ولنفترض أن النظام الأول بالرغم من انتقاله أثناء عمله خلال جميع الحالات الست عشر يعطي نفس التتابع على الخرج الذي يعطيه النظام الثاني. وذلك من أجل نفس التتابع على الدخل. في مثل هذه الحالة يمكن اعتبار هذين النظامين متطابقين ولا فرق بينهما بالرغم من أن النظام الأول يحتوي على إمكانيات غير متوفرة في الثاني. كما يمكن اعتبار (12) حالة من الحالات الـ(16) زائدة. لنستعرض الآن طريقة تحديد الحالات الزائدة في جدول الحالة. ولنأخذ كمثال نظام ميلي الممثل في جدول الحالة (1) والمحتوى على مدخل وحيد (x) ومخرج وحيد (z) (تنطبق ملاحظاتنا التالية على نظام ميلي بعدة مداخل ومخارج وعلى نظام مور أيضاً).

المراجع

areq.net

التصانيف

بنية الحاسب   العلوم التطبيقية   تقنية المعلومات