วิธีการอนุพันธ์ของ Brzozowski เป็นเทคนิคที่น่าสนใจมากสำหรับการสร้างออโตมาต้าแบบกำหนดขึ้นจากการแสดงออกปกติด้วยวิธีพีชคณิตอย่างดี ฉันได้ทำการสรุปภาพรวมที่น่ารักของเทคนิคนี้เพื่อจัดการกับแกรมม่าขนาดใหญ่บางคลาส แต่อัลกอริทึมนั้นตรงไปตรงมามากพอที่จะเป็นไปได้ที่พวกเขาจะค้นพบมาก่อน แต่การอ้างอิงของ Google กับลูกหลานของเทคนิคนี้ดูเหมือนจะไม่เกิดขึ้นมากนัก ใครรู้อะไรบ้าง
2
ฉันค่อนข้างสงสัยว่าคุณกำลังนึกถึงคลาสประเภทใดของไวยากรณ์ เกี่ยวกับลูกหลานเทคนิคของ Antimirov ซึ่งผลิตออโตมาเนเทอร์เซ็ตแทนเป็นสิ่งที่ดีมาก: อนุพันธ์ย่อยของการแสดงออกปกติและการสร้างออโตเมติกจำกัด , TCS 155 (2), 1996, ( dx.doi.org/10.1016/0304-3975(95 ) 00182-4 )
—
Sylvain
คุณหมายถึงภาพรวมของภาษาที่ซับซ้อนมากขึ้นเช่น <context-free <context-sensitive <... หรือไม่?
—
s8soj3o289
ฉันเคยดูระบบย่อยของ CFG อย่างคร่าว ๆ ในละแวก VPL ส่วนใหญ่
—
Neel Krishnaswami
... แต่กลุ่มอนุพันธ์ไม่ได้ จำกัด และแน่นอนถ้าคุณต้องการบางสิ่งบางอย่างที่กำหนดเช่นเดียวกับวิธีการของ Brzozowski คุณอาจถูก จำกัด DCFLs (ดังนั้นฉันคิดว่ามันสมเหตุสมผลสำหรับ VPL)
—
Sylvain