ขณะนี้ฉันกำลังทำการวิจัยเกี่ยวกับภาษาทางการที่เกี่ยวข้องกับชั้นเรียนของภาษาด้านบนปกติ แต่ต่ำกว่าบริบทฟรี ฉันกำลังดูสิ่งต่าง ๆ เช่นเครื่อง Multicounter Reversal-Bounded, เครื่องนับกองซ้อน, CFL ที่กำหนดได้ ฯลฯ
ฉันสงสัยว่าถ้าใครรู้หนังสือดี ๆ หรือกระดาษสำรวจซึ่งแสดงคุณสมบัติของภาษาเหล่านี้ สิ่งที่ฉันดูส่วนใหญ่คลุมเครือเกินไปหรือใหม่เกินไปที่จะอยู่ในหนังสือ Hopcroft-Ullman ของฉันแม้แต่ฉบับปี 1979
ส่วนใหญ่ฉันกำลังมองหาชั้นเรียนภาษาที่มีอยู่ในหนึ่งอื่นคุณสมบัติการปิดของภาษาเหล่านี้และการตัดสินใจของปัญหาพื้นฐาน (ปัญหา F) ในภาษาเหล่านี้
ตัวอย่างของสิ่งที่ฉันค้นหาในเอกสารอ้างอิงนี้:
- ทุกภาษาได้รับการยอมรับจากเครื่องหลายเคาน์เตอร์ที่มีจุดพลิกกลับที่ยอมรับเช่นกันโดยเครื่องเคาน์เตอร์เคาน์เตอร์เดียวที่ไม่กลับด้านหรือไม่?
- ภาษา MultiCounter ที่ จำกัด ขอบเขตการกลับรายการถูก จำกัด ภายใต้การต่อข้อมูลด้านซ้ายและขวาหรือไม่
- เป็นสากลที่สามารถตัดสินใจได้สำหรับเครื่องจักรที่มีเคาน์เตอร์เดียว
เหล่านี้เป็นเพียงคำถามตัวอย่างฉันมีคนอื่น ๆ อีกหลายคนที่เข้ามาทำงานประจำวันของฉัน
ในฐานะที่เป็นจุดเริ่มต้นฉันได้ลองติดตามว่าเอกสารใดอ้างถึง "Reversal-Bounded Multicounter Machines และ Oscar Ibarra" ปัญหาการตัดสินใจของพวกเขา แต่ไม่พบมากนัก