ไวยากรณ์ นิยาม รูปแบบ
รูปแบบนิยามไวยากรณ์ ( SDF ) เป็นเมตาไวยากรณ์ที่ใช้ในการกำหนดไวยากรณ์แบบไร้บริบทกล่าวคือ เป็นวิธีที่เป็นทางการในการอธิบายภาษาที่เป็นทางการ สามารถแสดงไวยากรณ์แบบไร้บริบทได้ ทั้งหมด เวอร์ชันปัจจุบันคือ SDF3 [ 1 ]มีตัวแยกวิเคราะห์และตัวสร้างตัวแยกวิเคราะห์สำหรับข้อกำหนด SDF ให้เป็นส่วนหนึ่งของสภาพแวดล้อมเมตา ASF+SDF ฟรี สิ่งเหล่านี้ทำงานโดยใช้ SGLR ( ตัวแยกวิเคราะห์ GLR แบบไร้สแกนเนอร์ ) ตัวแยกวิเคราะห์ SDF จะส่งออกต้นไม้การแยกวิเคราะห์หรือในกรณีที่มีความกำกวมป่าการแยกวิเคราะห์
ภาพรวม
คุณสมบัติของ SDF:
- รองรับภาษาที่ไม่ขึ้นกับบริบททุกประเภท
- อนุญาตให้กำหนดโครงสร้างไวยากรณ์แบบแยกส่วน (ไวยากรณ์สามารถนำเข้าไวยากรณ์ย่อยได้) ซึ่งช่วยให้สามารถนำกลับมาใช้ใหม่ได้
- รองรับการใส่คำอธิบายประกอบ
ตัวอย่าง
ตัวอย่างต่อไปนี้แสดงการกำหนดไวยากรณ์นิพจน์บูลีนอย่างง่ายใน SDF2:
โมดูลพื้นฐาน/บูลีน การส่งออก เรียงลำดับแบบบูลีน สัญลักษณ์เริ่มต้นที่ไม่ขึ้นกับบริบท บูลีน ไวยากรณ์ที่ไม่ขึ้นกับบริบท "จริง" -> บูลีน "เท็จ" -> บูลีน lhs:Boolean "|" rhs:Boolean -> Boolean {ซ้าย} lhs:Boolean "&" rhs:Boolean -> Boolean {ซ้าย} "ไม่ใช่" "(" บูลีน ")" -> บูลีน (" บูลีน ")" -> บูลีน ลำดับความสำคัญที่ไม่ขึ้นกับบริบท บูลีน "&" บูลีน -> บูลีน > บูลีน "|" บูลีน -> บูลีน ระบบวิเคราะห์และแปลงโปรแกรมโดยใช้ SDF
- ASF+SDF Meta Environmentให้บริการ SDF
- ราสคาลเอ็มพีแอล
- สปูแฟกซ์/IMP [1]
- สเตรทโก/เอ็กซ์ที
- สตราฟุนสกี้
ดูเพิ่มเติม
อ่านเพิ่มเติม
- บทนำโดยย่อเกี่ยวกับ SDF, Visser, J. & Scheerder, J. (2000) CWI
- คำจำกัดความของไวยากรณ์แบบแผน SDF, Mark van den Brand, Paul Klint, Jurgen Vinju (2007) CWI
ลิงก์ภายนอก
- ชุดอุปกรณ์การใช้งานไวยากรณ์
- SdfMetzคำนวณเมตริกสำหรับไวยากรณ์ SDF
- ดาวน์โหลดไฟล์ SDF จากหน้าแรกของ ASF+SDF Meta Environment
 | บทความวิทยาการคอมพิวเตอร์นี้ ยัง ไม่สมบูรณ์คุณสามารถช่วยวิกิพีเดียได้โดยการเพิ่มข้อมูลที่ขาดหายไป |