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

ویکی‎کتاب، کتابخانهٔ آزاد
پرش به ناوبری پرش به جستجو


پرسش :

10-4-2.jpg


پاسخ :

برهان خلف : فرض می کنیمQc و Qb ادغام پذیرند . پس چون Qb و Qa نیز ادغام پذیرند و ادغام پذیری رابطه هم ارزی دارد پس Qc و Qa ادغام پذیرند که تناقض است و حکم ثابت می شود .