คุณจะได้อะไรถ้าคุณเพิ่มพารามิเตอร์ลงในไวยากรณ์ฟรีตามบริบท

ฉันคิดถึงไวยากรณ์สำหรับภาษาที่มีความอ่อนไหวและดูเหมือนว่าไวยากรณ์กรัมจะทำเคล็ดลับถ้ารวมกับพารามิเตอร์ ลองพิจารณาตัวอย่างนี้สำหรับไวยากรณ์ Python ที่ง่ายขึ้นในรูปแบบ ANTLR:

// on top-level the statements have empty indent
program  
    : statement('')+
    ;

// let's consider only one compound statement and one simple statement for now
statement(indent) 
    : ifStatement(indent)
    | passStatement(indent)
    ;

passStatement(indent)
    : indent 'pass' NEWLINE
    ;

// statements under if must have current indent plus 4 spaces
ifStatement(indent)
    : indent 'if' expression ':' NEWLINE (statement(indent '    ')+)
    ;

คำถามของฉัน: ไวยากรณ์ประเภทนี้ (CFG พร้อมพารามิเตอร์) มีชื่อหรือไม่

ดูเหมือนว่ามันจะไม่ยากที่จะเขียนตัวแยกวิเคราะห์โคตรซ้ำสำหรับไวยากรณ์นี้ (พารามิเตอร์ควรเป็นตัวแยกวิเคราะห์โดยทั่วไป) อะไรคือปัญหาของวิธีนี้?

การเพิ่มพารามิเตอร์เพิ่มระดับภาษาที่รองรับด้านบนโดยไม่มีบริบทหรือไม่

ไวยากรณ์ไวยากรณ์แบบไม่มีเงื่อนไขของ Affix ได้รับการศึกษาอย่างกว้างขวางจากนักวิทยาศาสตร์คอมพิวเตอร์ชาวดัตช์ชื่อCornelis HA Kosterโดยเริ่มต้นจากกระดาษ 2505 "ภาษาอังกฤษขั้นพื้นฐาน ในปี 1970 เขาได้ผลิตแนวคิดที่เป็นทางการขึ้นมา ภาพรวมที่มีประโยชน์สามารถใช้ได้ในปี 1971 กระดาษของเขา "ติดไวยากรณ์สำหรับการเขียนโปรแกรมภาษา" รุ่นที่ฉันพบบนCiteseer

ในบทความนั้น Koster เปรียบเทียบพิธีการของเขา (และอีกอันหนึ่งที่คล้ายกัน) กับไวยากรณ์สองระดับของ Van Wijngaardenและพบว่าพวกเขามีความคล้ายคลึงกันมาก

บรรณานุกรมประกอบคำอธิบายประกอบอย่างย่อของ Dick Grune ของเทคนิคการวิเคราะห์คำรวมถึงการอ้างอิงที่มีประโยชน์อื่น ๆ จำนวนมากสำหรับไวยากรณ์ที่ติดอยู่และพิธีการที่ไม่ใช่ Chomskyian (ดูส่วนที่ 18.2.6 ของบรรณานุกรมแม้ว่าจะมีเอกสารที่เป็นประโยชน์ในส่วนอื่น ๆ ) Grune ครอบคลุม grammars ที่ติดอยู่ในเวลาสั้น ๆ ใน§ 15.3.2 ของเทคนิคการแยกวิเคราะห์รุ่นที่สอง: คู่มือปฏิบัติ (และสั้นกว่าในฉบับพิมพ์ครั้งแรก) มีออนไลน์) พูดถึงข้อเท็จจริงที่ว่ามันง่ายที่จะปรับเทคนิคการแยกวิเคราะห์จากบนลงล่าง (และอื่น ๆ )

เว้นแต่โดเมนของพารามิเตอร์มีขอบเขต จำกัด ซึ่งในกรณีนี้สามารถลบออกได้โดยสร้างการผลิตที่เป็นไปได้ทั้งหมดที่เกิดขึ้นในรูปแบบ CFG คลาสของคำต่อท้ายไวยากรณ์จะเป็นชุดข้อความไวยากรณ์ที่ไม่มีบริบท (ไวยากรณ์ที่แนบมาสำหรับสามารถพบได้ในการอ้างอิงเทคนิคการแยกวิเคราะห์ของ Dick Grune ด้านบน)$a^n b^n c^n$

Koster ซึ่งเป็นบรรณาธิการของรายงาน Algol 68 เป็นผู้พัฒนาภาษาต้นฉบับคำอธิบายคอมไพเลอร์ (CDL)โดยยึดตามแนวคิดของเขาเกี่ยวกับไวยากรณ์ที่ติดอยู่ ชุดเครื่องมือนี้และตราสารอนุพันธ์ภายหลังถูกนำมาใช้ในการผลิตเป็นเวลาหลายปี หน้านี้ซึ่งฉันได้พบกับการค้นหาของ Google และฉันไม่สามารถรับประกันได้ว่าจะมีลิงก์ไปยังคู่มือและเว็บไซต์ดาวน์โหลดสำหรับ CDL3

รับบทแทรกสำหรับ CFG :

ใช้ไวยากรณ์

S -> A("")
A(p) -> p 
      | p '\n' A(p"*") '\n' p 

สิ่งนี้อธิบายถึงสามเหลี่ยมดาว:

*
**
***
**
*

ไม่มีวิธีที่จะแยกสามเหลี่ยมดาวออกเป็น 5 ส่วน เช่นเป็นรูปสามเหลี่ยมดาว (ด้วยไม่เว้นว่าง){ U v n W x n Y | n > 0 } v $uvwxy$$\{uv^nwx^ny|n>0\}$$vx$

ซึ่งหมายความว่าสามเหลี่ยมรูปดาวไม่ใช่ภาษาที่ไม่มีบริบท

หรือตัวอย่างที่ง่ายกว่า:

S-> B("")
B(p)-> p 'a' p 'a' p
     | B(p 'b')

สิ่งนี้อธิบายถึงภาษาซึ่งไม่ใช่บริบท$\{b^nab^nab^n | n\ge0 \}$

ฉันไม่เคยเห็นแบบแผนนี้มาก่อน (แม้ในบางอย่างเช่นเทคนิคการแยกวิเคราะห์ของ Grune ) ขึ้นอยู่กับรายละเอียดเกี่ยวกับวิธีการที่คุณกำหนด "พารามิเตอร์ควรเป็นตัวแยกวิเคราะห์" โดยทั่วไปแล้วมันดูจะเหมาะกับ Van Wijngaarden ไวยากรณ์สองระดับ ไวยากรณ์โครงสร้างเฟสแบบไม่ จำกัด (เช่นมีประสิทธิภาพมากกว่าบริบทที่อ่อนไหวคุณสามารถเขียนไวยากรณ์ VW ซึ่งให้โปรแกรมหยุดทำงานทั้งหมด)