تصميم وتنفيذ نظام صدفي لماكنة الحالات المنتهية

الملخص

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