اللغات الصورية ونظرية الأتمتة cs.FL

1 مقالات

مقالات

تصويت الأعداد الفردية: كيف يُسرّع الفرق المتماثل الآلات المحدودة
في قاعة المحكمة — سلسلة مقدَّمة كمدخل. اثنا عشر محلفًا (مسارات حسابية) يدرسونها رمزًا رمزًا. يمكن لكل منهم أن يصدر حكمًا بـ «مذنب» (يقبل) أو «غير مذنب». بالنسبة للآلة المحدودة غير القطعية (NFA) يكفي صوت واحد بـ «نعم». لكن في محكمة الفرق المتماثل (XNFA) يُصدر الحكم بناءً على الفردية: إذا كان عدد الأصوات بـ «مذنب» فرديًا — تُقبل الكلمة.