การอ้างอิงสำหรับ“ พีชคณิตมากกว่า” วิธีการกดออโตมาตะและ CFLs?


17

ในหนังสือของ Sakarovitchเกี่ยวกับทฤษฎีออโตมาตะมันถูกเขียนขึ้นในบทนำเกี่ยวกับเหตุผลในกลุ่มอิสระที่เนื้อหาที่นำเสนอนั้นวาง "รากฐานของทฤษฎีทางคณิตศาสตร์อย่างแท้จริงของภาษาที่ไม่มีบริบท" อย่างไรก็ตามสิ่งนี้ไม่ได้ระบุไว้อย่างชัดเจนเนื่องจากภาษาที่ไม่ต้องมีบริบทและออโตมาดาวน์มีอยู่เกินขอบเขตของหนังสือ

ฉันตระหนักถึงการเชื่อมต่อของกลุ่มฟรี (และโดยเฉพาะอย่างยิ่งสิ่งที่ Sakarovitch เรียกว่าmonoids ที่ไม่เกี่ยวข้อง ) กับทฤษฎีของออโตมาตาแบบกดลงและภาษาที่ไม่มีบริบท - เช่นภาษา Dyck, ทฤษฎีของ Shamir เป็นต้นอย่างไรก็ตามฉันมี การหาแหล่งที่ยากลำบากซึ่ง "ทฤษฎีทางคณิตศาสตร์อย่างแท้จริงของภาษาที่ไม่มีบริบท" ซึ่งกล่าวถึงโดย Sakarovitch นั้นถูกสร้างขึ้นจริง

สิ่งที่ใกล้เคียงที่สุดที่ฉันพบคือหนังสือของ Berstel เรื่องการแปลและภาษาที่ไม่มีบริบท อย่างไรก็ตามในตอนแรกฉันคิดว่าการกดออโตมาตาจะได้รับการปฏิบัติเพียงเล็กน้อยในหนังสือเล่มนี้ในขณะที่ทฤษฎีเซตย่อยของกลุ่มที่มีเหตุผลไม่ได้ใช้เลย บางทีเนื้อหาที่ฉันกำลังมองหามีไว้สำหรับเล่ม C ของ Eilenberg แต่ฉันไม่แน่ใจเกี่ยวกับสิ่งนั้น

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

คำตอบ:


9

วิทยานิพนธ์ปริญญาเอกของ Sakarovitch จากปี 1976 มีบรรดาศักดิ์Monoïdes syntactiques และภาษาalgébriques (monoids แบบ syntactic และภาษาเกี่ยวกับพีชคณิต) หมุนรอบหัวข้อนี้ ในขณะนี้สิ่งนี้นำไปสู่คำจำกัดความของmonoids แบบแหลม (ดูตัวอย่างเช่นกระดาษ MFCS'75ของเขา) ประมาณ 80 ปีวัตถุทางพีชคณิตที่เลือกเพื่อศึกษา CFL ถูกย้ายไปยังกลุ่ม Hotz - Sakarovitch ยังมีบทความเกี่ยวกับหัวข้อนั้นใน Acta Inf เท่าที่ฉันทราบ monoids แบบแหลมไม่ได้รับความสนใจเท่าที่ควรแม้ว่าความคิดแบบเดียวกันนี้สามารถพบได้ในBehle, Krebs และคณะ ; ในทำนองเดียวกันวิธีการบางอย่างเมื่อเร็ว ๆ นี้โดยใช้เครื่องมือที่มีความซับซ้อนมากขึ้นโดยเฉพาะอย่างยิ่งความเป็นหินคู่อาจให้กรอบการทำงานที่ดีสำหรับการศึกษาดังกล่าว

อีกวิธีการที่ทันสมัยคือคลาร์กในโครงร่างแนวคิดเชิงไวยากรณ์ที่ฉันไม่คุ้นเคย

สำหรับความตั้งใจจริงของผู้เขียนวิธีหนึ่งที่ปลอดภัยคือถามเขาโดยตรง


5

นอกเหนือจากการอ้างอิงที่ได้รับจากMichaël Cadilhac ให้ฉันเพิ่มกระดาษนี้

Berstel, J .; Boasson ลิตรต่อทฤษฎีเกี่ยวกับพีชคณิตของภาษาบริบทฟรี กองทุน. แจ้ง. 25 (1996), ครั้งที่ 3-4, 217--239

โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.