منوی سایت
 

راهنمای نرم افزار
 

به نام خدا

نرم افزار طراح اتوماتون ، نرم افزاري آموزشي مربوط به درس نظريه زبانها و ماشين ها است . هدف از اين نرم افزار طراحي و تحليل انواع اتوماتون هاي متناهي از جمله :

  1.  اتوماتون هاي متناهي قطعي (DFA)
  2.  اتوماتون هاي متناهي غير قطعي (NFA)
  3.  اتوماتون هاي متناهي غير قطعي با گذر لا مبدا (NFA-e)

مي باشد . اين نرم افزار هيچگونه مشابهي ندارد و از روي هيچ گونه مدل يا الگوريتم خاصي طراحي نگرديده است . تمامي ايده ها و الگوريتم هاي مورد استفاده در اين نرم افزار متعلق به اينجانب و با توجه به يادگيري ام از درس نظريه زبانها و ماشينها مي باشد .
 

مهمترين موارد کاربرد اين پروژه عبارتند از :

  1.  تدريس درس زبانها و ماشين ها .
  2. بهبود يادگيري و تفهيم مطالب درس نظريه زبانها و ماشين ها و تمرين دانشجويان .
  3. طراحي اتوماتون ها به شيوه اي سريع و مورد پسند .
  4. ذخيره اتوماتون ها و باز خواني اتوماتون ها براي استفاده مجدد و کار بيشتر .
  5. حل مسائل مختلف از مباحث مربوط به اتوماتون هاي متناهي .
  6. تحويل تمرينات مربوط به مباحث اتوماتون هاي متناهي درس نظريه زبانها و ماشينها توسط دانشجويان و تصحيح تکاليف و تمرين هاي مربوط به دانشجويان توسط استاد .

 

نرم افزار طراح اتوماتون داراي قابليتهاي زير مي باشد :

  1. طراحي انواع اتوماتون هاي متناهي (NFA , DFA , NFA-e)
  2. ذخيره انواع اتوماتون هاي متناهي در پايگاه داده (NFA , DFA , NFA-e)
  3. باز خواني انواع اتوماتون هاي متناهي از پايگاه داده (NFA , DFA , NFA-e)
  4. حذف انواع اتوماتون هاي متناهي از پايگاه داده (NFA , DFA , NFA-e)
  5. ذخيره انواع اتوماتون هاي متناهي در فايل (NFA , DFA , NFA-e)
  6. باز خواني انواع اتوماتون هاي متناهي از فايل  (NFA , DFA , NFA-e)
  7. بررسي قطعيت اتوماتون هاي متناهي
  8. بهينه سازي اتوماتون هاي متناهي قطعي (DFA)
  9. بررسي پذيرش رشته براي اتوماتون هاي متناهي قطعي (DFA)
  10. تبديل اتوماتون هاي متناهي غير قطعي به اتوماتون هاي متناهي قطعي (NFA to DFA)
  11. بررسي پذيرش رشته براي اتوماتون هاي متناهي غير قطعي (NFA)
  12. تبديل اتوماتون هاي متناهي غير قطعي  با گذر لا مبدا به اتوماتون هاي متناهي قطعي (NFA-e to DFA)
  13. بررسي پذيرش رشته براي اتوماتون هاي متناهي غير قطعي با گذر لا مبدا (NFA-e)
  14. ايجاد مکمل اتوماتون هاي متناهي قطعي
  15. مديريت سمبل هاي الفباي اتوماتون هاي متناهي اعم از حذف يا اضافه کردن سمبل ها در حين طراحي اتوماتون
  16. حل مسايل شروع ، مشمول و يا خاتمه با رشته هاي خاص  براي اتوماتون ها
  17. حل مسائل بخش پذيري مربوط به اتوماتون ها
  18. حل مسائل خاص ديگر مربوط به اتوماتون ها
  19. تبديل گرامر منظم به اتوماتون متناهي
  20. توليد گرامر باقاعده معادل با اتوماتون
  21. توليد عبارت منظم معادل با اتوماتون
  22. قابليت قرار دادن اعتبار سنجي براي نرم افزار طراح اتوماتون

 

 
  طراحی شده توسط سید محمود حسینی