สร้าง PDA สำหรับส่วนเสริมของ

ผมสงสัยว่าถ้าเป็นไปได้แม้ตั้งแต่ Lดังนั้น PDA ที่สามารถแยกความแตกต่างของคำจากส่วนที่เหลือของอาจยอมรับเช่นกันซึ่งฟังดูขัดแย้งกับฉัน $\{a^n b^n c^n \mid n \geq 0\} \not\in \mathrm{CFL}$ $w\in\{a^n b^n c^n \mid n \geq 0\}$ $\{a^*b^*c^*\}$

ฉันเดาว่าฉันต้องใช้ประโยชน์จากธรรมชาติที่ไม่ได้กำหนดไว้ของพีดีเอ แต่ฉันไม่ได้คิดอะไรเลย หากคุณสามารถให้คำแนะนำฉันจะขอบคุณมันมาก

— hauptbenutzer
แหล่งที่มา

ประเด็นที่น่าสนใจเกี่ยวกับเรื่องนี้ดูเหมือนจะขัดแย้งกัน แท้จริงแล้วภาษาที่ไม่มีบริบทไม่ได้ปิดอยู่ภายใต้การเสริม ... ดังนั้นจึงมีตัวอย่างมากมายของภาษาที่ไม่ใช้บริบทซึ่งอาจ "ยอมรับ" ในแง่ที่คุณพูดถึง ฉันไม่ได้เป็นนักทฤษฎีและเป็นเช่นนี้ไม่สามารถคืนดีกันได้ แต่บางทีคนอื่นสามารถพูดพล่ามได้ว่าทำไมเรื่องนี้จึงไม่ใช่เรื่องที่น่ากังวล

— Patrick87

โปรดทราบว่านี่เป็นการสรุป: ส่วนประกอบของ

คือ CFG

{a^{n} b^{n} c^{n} d^{n} e^{n}}

$\{a^n b^n c^n d^n e^n\}$

— sdcvvc

คำถามที่คล้ายกัน

— กราฟิลส์

ไม่นี่ไม่มีบริบท ที่จะยอมรับคุณจะต้องให้แน่ใจว่าหมายเลขสามมีค่าเท่ากัน ที่จะยอมรับ , คุณเพียงแค่ต้องให้แน่ใจว่าคุณอยู่ในหนึ่งต่อไปนี้กรณีที่สาม: $a^nb^nc^n$ $a^*b^*c^* \setminus a^nb^nc^n$

จำนวนs แตกต่างจากจำนวนที่ s; หรือ $a$ $b$
จำนวนs แตกต่างจากจำนวนที่ s; หรือ $a$ $c$
จำนวน s แตกต่างจากจำนวน s $b$ $c$

เขียนพีดีเอสำหรับแต่ละกรณีจากนั้นรวมเข้าด้วยกันโดยการกระโดดไปตามแต่ละอันจากสถานะเริ่มต้น

— Patrick87
แหล่งที่มา

ฉันเขียนกรณีเหล่านี้เรียบร้อย แต่ฉันไม่มีความคิดที่จะเชื่อมโยงพวกเขา ขอขอบคุณ!

— hauptbenutzer

จริงๆแล้วคุณต้องการแค่สองกรณีเท่านั้น

— sdcvvc

@sdcvvc จุดที่ดี :)

— Patrick87

S \to x S y | X | Y; X \to x | x X; Y \to y | y Y

$S → xSy | X | Y ; X → x | xX ; Y → y | yY$

a^{+}

$a^+$

c^{+}

$c^+$

S \to a S c | A | C; A \to a B | a A; C \to B c | C c; B \to ε | b B

— Jonas Kölker