ฉันสงสัยว่าชุดภาษาใดบ้างที่ถูกสร้างขึ้นโดยข้อ จำกัด ของการแสดงออกปกติ สมมติว่าข้อ จำกัด ทั้งหมดมีสัญลักษณ์คงที่สำหรับแต่ละองค์ประกอบของและเรียงต่อกัน จากนั้นแปดชั้นสามารถเกิดขึ้นได้จากการมีหรือไม่มีส่วนประกอบ / ปฏิเสธความเปลี่ยนแปลง / รวมและดาว Kleene (ใช่นิพจน์ปกติ 'ปกติ' ไม่มี แต่สะดวกที่นี่)
การแสดงออกที่อนุญาตให้มีการสับเปลี่ยนและดาว Kleene โดยมีหรือไม่มีส่วนเติมเต็ม (การระเบิดสองครั้งแทนเลขชี้กำลังในหมู่เพื่อนคืออะไร) สร้างภาษาปกติขึ้นมา การแสดงออกที่ช่วยให้การสลับและเติมเต็ม แต่ไม่ใช่ดาว Kleene สร้างภาษาที่ปราศจากดาว การแสดงออกที่ช่วยให้การสลับ แต่ไม่เสริมหรือ Kleene Star สร้างภาษาที่แน่นอน
แต่คลาสภาษาที่น่าสนใจใด ๆ สามารถสร้างขึ้นได้โดยไม่มีการสลับสับเปลี่ยน? หากไม่มีตัวดำเนินการสามตัวทั้งหมดที่สามารถสร้างได้คือคำเดียว ผู้ประกอบการเสริมไม่ได้ช่วยอะไรมากที่นี่
ด้วยดาว Kleene เพียงชั้นค่อนข้างน่าสนใจ ... มันไม่ชัดเจนว่าพวกเขาสามารถรับรู้ได้เร็วกว่าภาษาปกติ (มีสิ่งใดที่ไม่เป็นที่รู้จักเกี่ยวกับสิ่งเหล่านี้หรือไม่)
ด้วยทั้งดาว Kleene และส่วนประกอบ ... คุณได้อะไรที่น่าสนใจบ้างไหม? ชั้นนี้มีชื่อหรือไม่?
คำถามนี้ได้รับแรงบันดาลใจจากคำถาม Expression ปกติใน math.se