เป็นภาษาปกติมากกว่าตัวอักษร Σ = { , ข } ความฉลาดทางด้านซ้ายของ Lเกี่ยวกับ W ∈ Σ *เป็นภาษา W - 1 L : = { วี| W วี∈ L }
ฉันจะพิสูจน์ได้ว่าเป็นปกติหรือไม่
เป็นภาษาปกติมากกว่าตัวอักษร Σ = { , ข } ความฉลาดทางด้านซ้ายของ Lเกี่ยวกับ W ∈ Σ *เป็นภาษา W - 1 L : = { วี| W วี∈ L }
ฉันจะพิสูจน์ได้ว่าเป็นปกติหรือไม่
คำตอบ:
สมมติเป็นกำหนดเครื่องจักรสถานะ จำกัด ยอมรับL ฟีดคำว่าWเข้าไปMซึ่งจะที่ดินคุณในบางรัฐQ สร้างเครื่องใหม่M 'ซึ่งเป็นเช่นเดียวกับเอ็มแต่มีจุดเริ่มต้นที่รัฐQ ผมอ้างว่าM 'ยอมรับW - 1ลิตร
ตอนนี้พิสูจน์มัน