https://dfa.laane.xyz/
Finite State Machine Educational Tools: Implementing Equivalence Testing and State Minimization Algorithms
6CCS3PRJ مشروع السنة النهائية لجامعة كينغز كوليدج لندن
المؤلف: ستين آرثر لين
المشرف: الدكتور آجي كوروتش
يهدف هذا المشروع إلى تنفيذ وتصور ثلاث خوارزميات Finite Automata المستخدمة لتقليل الحالة (SM) واختبار التكافؤ (ET):
يتم أيضًا تنفيذ متغيرات هذه الخوارزميات التي تنتج سلاسل شاهدة للإشارة إلى ما إذا كان اثنان من DFA متكافئين.
بالإضافة إلى ذلك، يهدف المشروع إلى إظهار أسوأ أداء للخوارزميات باستخدام مجموعات بيانات DFA المخصصة. يتم توفير مجموعات البيانات هذه للمستخدمين لإنشاء DFAs الخاصة بهم.
يمكن العثور على مزيد من التفاصيل حول الخوارزميات ومجموعات البيانات في التقرير المصاحب للمشروع، الموجود هنا.
يمكن العثور على تعليمات استخدام التطبيق على صفحة المساعدة.
لتشغيل هذا البرنامج أو تطويره محليًا، يلزم التثبيت المحلي لـnode.js 14.x.
يمكن تشغيل البرنامج على النحو التالي:
npm install
npm run start
http://localhost:3000
يمكن إجراء الاختبارات باستخدام npm run test
المساهمات هي موضع ترحيب دائما. يمكن لأي شخص فتح المشكلات وسحب الطلبات على GitHub
هذا المشروع مرخص بموجب ترخيص MIT