محول NFA إلى DFA

هذه الأداة تحول آلة فرعية غير حتمية (NFA) إلى DFA مكافئ باستخدام بناء المجموعة الفرعية. تقبل مواصفة NFA شكلية وتنتج DFA يتعرف على نفس اللغة، مما يتيح التحقق وتوثيق سلوك الآلات.
من الناحية المفاهيمية، تعتبر كل حالة DFA مجموعة من حالات NFA. ولكل رمز إدخال، تحسب اتحاد الانتقال من جميع الحالات في المجموعة الحالية، وتطبق إغلاق epsilon أولاً عندما توجد انتقالات epsilon. التTransitions DFA الناتجة تشكل جدولاً كاملاً مقابل الأبجدية المعطاة.
المستفيدون: طلاب CS، مدرسون، مهندسو التحقق، وباحثون يبنون محللات لغوية أو محللات وصفية. حالات الاستخدام تشمل إثبات تطابق اللغة، استكشاف أقل عدد من الحالات، وتوثيق تصميم المحللات والمراقبات.
الميزات الأساسية تشمل مدخلات مطلوبة (الأبجدية، الحالات، الحالة الابتدائية، حالات المقبول والانتقالات) ومخرجات (بدء DFA، المقبوليات، وجدول الانتقالات); الميزات المتقدمة تتضمن معالجة إغلاق epsilon وت minimization DFA، بالإضافة إلى خيارات التصدير JSON أو CSV. يميز الأداة بين البيانات المطلوبة والخيارات المتقدمة ويبلغ عن تناقضات بنيوية.