คุณสมบัติการปิดของ IP (2pfa) และ AM (2pfa)

IP (2pfa) และ AM (2pfa) เป็นคลาสของภาษาที่รับรู้โดยมีข้อผิดพลาดแบบ จำกัด โดยรุ่นเหรียญส่วนตัวและสาธารณะตามลำดับของระบบพิสูจน์การโต้ตอบที่มีตัวตรวจสอบที่มีขอบเขต จำกัด ออโตมาตาที่มีความน่าจะเป็น

คุณสมบัติการปิดของคลาสเหล่านี้เป็นที่รู้จักกันหรือไม่?

คุณสามารถดูกระดาษต่อไปนี้:

Dwork, C. และ Stockmeyer, L. 1992 ตัวตรวจสอบสถานะ จำกัด I: พลังของการมีปฏิสัมพันธ์ J. ACM 39, 4 (ต.ค. 1992), 800-828 DOI = http://doi.acm.org/10.1145/146585.146599

หรือกระดาษที่เกี่ยวข้อง:

Dwork, C. และ Stockmeyer, L. 1992 ตัวตรวจสอบสถานะ จำกัด II: ไม่มีความรู้ J. ACM 39, 4 (ต.ค. 1992), 829-858 DOI = http://doi.acm.org/10.1145/146585.146601