ایا زبانهای مستقل از متن قطعی تحت متمم بسته هستند؟
بعضی ها کتابها میگن لزومن بسته نیست ولی ازمون پارسه گفته بود بسته هستند!!
سلام بنظر من که بستست. اگه یه زبان مستقل از متن، قطعی باشه، یه dpda داره که به ازای هر رشته جواب به حالت پایان میره. در غیر این صورت به حالت پایان نمیره. اگه dpda رو طوری طراحی کنیم که از حالت پایانی با هر ورودی ای حرکت داشته باشیم، میشه اون dpda رو طوری تغییر داد که مکمل زبان رو پذیره.
(۲۹ دى ۱۳۹۱ ۰۶:۱۳ ب.ظ)Jooybari نوشته شده توسط: سلام بنظر من که بستست. اگه یه زبان مستقل از متن، قطعی باشه، یه dpda داره که به ازای هر رشته جواب به حالت پایان میره. در غیر این صورت به حالت پایان نمیره. اگه dpda رو طوری طراحی کنیم که از حالت پایانی با هر ورودی ای حرکت داشته باشیم، میشه اون dpda رو طوری تغییر داد که مکمل زبان رو پذیره.
من هم با جناب جویباری موافقم .بستست