ในคำตอบนี้มีการกล่าวถึง
ภาษาปกติสามารถรับรู้โดยหุ่นยนต์ จำกัด ภาษาบริบทฟรีต้องมีกองและบริบทภาษามีความละเอียดอ่อนต้องใช้สองกอง (ซึ่งเทียบเท่ากับบอกว่ามันต้องใช้เครื่องทัวริงเต็ม)
ฉันต้องการทราบเกี่ยวกับความจริงของส่วนหนาด้านบน อันที่จริงมันเป็นจริงหรือไม่? อะไรคือวิธีที่ดีในการตอบคำถามนี้?
มีการอ้างสิทธิ์สองครั้งในข้อความที่เป็นตัวหนา แต่ชื่อคำถามของคุณแนะนำว่าคุณสนใจเพียงหนึ่งในนั้น
—
Tyson Williams
@TysonWilliams: ใช่เหรอ?
—
Lazer
นี่คือความสับสน ฉันไม่รู้ว่าชุดย่อยของทั้งสองอ้างว่าคุณต้องการความชอบธรรม
—
Tyson Williams
สำหรับหนึ่งในตัวหนาดังกล่าวในคำถาม
—
Lazer
@Lazer: ข้อความตัวหนามีสองข้อความ ("CSL ต้องมีสองสแต็ค", "สองสแต็กเทียบเท่ากับ TM") เนื่องจาก CSL เป็นชุดย่อยที่เหมาะสมของ RE จึงมีเพียงชุดเดียวเท่านั้นที่สามารถเป็นจริงได้
—
ราฟาเอล