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