วิธีการพิสูจน์ภาษาปกติถูกปิดภายใต้ความฉลาดทางซ้าย


13

เป็นภาษาปกติมากกว่าตัวอักษร Σ = { , } ความฉลาดทางด้านซ้ายของ Lเกี่ยวกับ W Σ *เป็นภาษา W - 1 L : = { วี| W วีL }LΣ={a,b}LwΣ

w1L:={vwvL}

ฉันจะพิสูจน์ได้ว่าเป็นปกติหรือไม่w1L

คำตอบ:


15

สมมติเป็นกำหนดเครื่องจักรสถานะ จำกัด ยอมรับL ฟีดคำว่าWเข้าไปMซึ่งจะที่ดินคุณในบางรัฐQ สร้างเครื่องใหม่M 'ซึ่งเป็นเช่นเดียวกับเอ็มแต่มีจุดเริ่มต้นที่รัฐQ ผมอ้างว่าM 'ยอมรับW - 1ลิตรMLwMqMMqMw1L

ตอนนี้พิสูจน์มัน


w1

Lw

(a+b)(a+b)L

@Corium: ฉันไม่ทราบว่าคำสั่งสุดท้ายของคุณหมายความว่าอย่างไร
Dave Clarke

1

wXLXu1(w1L)=(wu)1Lw1LLLw1L

โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.