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