คำถามติดแท็ก ambiguity

ฉันเข้าใจว่าหากมีต้นไม้ 2 ต้นขึ้นไปทางซ้ายหรือทางขวาไวยากรณ์ก็ไม่ชัดเจน แต่ฉันไม่สามารถเข้าใจได้ว่าทำไมมันถึงแย่มากที่ทุกคนต้องการกำจัดมัน

30 compilers  ambiguity 

ปัญหาของฉันคือฉันจะพิสูจน์ได้อย่างไรว่าไวยากรณ์ไม่คลุมเครือ? ฉันมีไวยากรณ์ต่อไปนี้: S→statement∣if expression then S∣if expression then S else SS→statement∣if expression then S∣if expression then S else SS → statement ∣ \mbox{if } expression \mbox{ then } S ∣ \mbox{if } expression \mbox{ then } S \mbox{ else } S และทำให้เป็นไวยากรณ์ที่ชัดเจนฉันคิดว่ามันถูกต้อง: S→S1∣S2S→S1∣S2 S → S_1 ∣ S_2 S1→if expression …

25 context-free  formal-grammars  proof-techniques  ambiguity 

ได้รับภาษาและB , ขอบอกว่าการเรียงต่อกันของพวกเขาBเป็นที่ชัดเจนถ้าสำหรับทุกคำW ∈ Bมีอีกหนึ่งการสลายตัวW = ขกับ∈และข∈ Bและคลุมเครืออย่างอื่น (ฉันไม่รู้ว่ามีคำศัพท์ที่สร้างขึ้นสำหรับสถานที่ให้บริการนี้หรือไม่ - ยากที่จะค้นหา!) เป็นตัวอย่างที่น่าสนใจการต่อเชื่อม{ ε , a }กับตัวเองนั้นคลุมเครือ ( w = aAAABBBABABABw∈ABw∈ABw \in ABw=abw=abw = aba∈Aa∈Aa \in Ab∈Bb∈Bb \in B{ε,a}{ε,a}\{\varepsilon, \mathrm{a}\} ) แต่การต่อกันของ { a }กับตัวเองนั้นไม่คลุมเครือw=a=εa=aεw=a=εa=aεw = \mathrm{a} = \varepsilon \mathrm{a} = \mathrm{a} \varepsilon{a}{a}\{\mathrm{a}\} มีอัลกอริทึมสำหรับการตัดสินใจว่าการต่อเชื่อมภาษาสองภาษาปกติไม่คลุมเครือหรือไม่?

16 algorithms  formal-languages  computability  regular-languages  ambiguity 

นำเสนอไวยากรณ์ต่อไปนี้บริบทฟรี "ห้อยอื่น" ประเภทความกำกวม (คิดว่าย่อมาและย่อมาและยืนสำหรับบางชนิดอื่น ๆ ของการเรียนการสอนหรือบล็อก): ตัวอย่างเช่นสามารถแยกวิเคราะห์เป็นหรือเป็น (นี่เป็นคำที่ไม่ชัดเจน / สั้นที่สุดสำหรับไวยากรณ์นี้)aaaif expr thenขbbelseคccS→ a SขS|S|คS→aSbS|aS|c \begin{aligned} S &\rightarrow aSbS \;|\; aS \;|\; c\\ \end{aligned} คขคaacbcaacbc( a ( a c b c ) )(a(acbc))(a(acbc))( a ( a c ) b c )(a(ac)bc)(a(ac)bc) วิธี "มาตรฐาน" เพื่อแก้ไขความกำกวม "ห้อย" อื่น ๆ นี้บังคับให้คำสั่ง "else" ( ) …

9 context-free  formal-grammars  parsers  ambiguity 

การใช้เวกเตอร์ Earley เป็นตัวจำแนกค่อนข้างตรงไปตรงมา: เมื่อถึงจุดสิ้นสุดของสตริงคุณเพียงแค่ต้องตรวจสอบการผลิตซึ่งเป็นจริงเสร็จสมบูรณ์เริ่มต้นที่ตำแหน่ง 0 หากคุณมีอย่างน้อยหนึ่งแล้วสตริงได้รับการยอมรับ การใช้เวกเตอร์ Earley เพื่อสร้างต้นไม้การแยกไม่ชัดเจน ที่จริงแล้วฉันไม่สามารถทราบได้ว่าขั้นตอนวิธีอัลกอริทึมจะทำงานอย่างไรนอกจากการอ้างอิงเท่านั้นที่ฉันพบว่าไม่ชัดเจนหรือเป็นเทคนิคขั้นสูง มีใครช่วยให้แสงออกมาบ้าง?

9 context-free  dynamic-programming  parsers  ambiguity  syntax-trees