پرش به محتوا

حل تمرین نظریه محاسبات/فصل دوم/حل تمرین۲-۱۰

ویکی‎کتاب، کتابخانهٔ آزاد

تمرین

[ویرایش]

ما یک NPDA تعریف می‌کنیم که در شاخه‌ای اولی را رد می‌کند و برابری دوتای دیگر را با ریختن دومی در پشته چک می‌کند. در شاخه دیگر برابری دوتای اول را با ریختن دوتای اول در پشته چک می‌کند. و سومی‌ها درا رد می‌کند.