سلام
لطفا جمله زير رو اثبات كنيد:
يك زبان تصميم پذير است اگر و تنها اگر يك برشمارنده براي برشمردن آن زبان با ترتيب فرهنگ لغت موجود باشد