1
การลดสถานะ จำกัด ออโตมาตาให้เหลือน้อยที่สุด
Residual state automata (RFSAs ที่กำหนดใน [DLT02]) เป็น NFA ที่มีคุณสมบัติที่ดีเหมือนกับ DFA โดยเฉพาะอย่างยิ่งมี RFSA ขนาดต่ำสุดที่ยอมรับเสมอสำหรับทุกภาษาปกติและภาษาที่ได้รับการยอมรับโดยแต่ละรัฐใน RFSA เป็นสิ่งที่เหลืออยู่เช่นเดียวกับใน DFA อย่างไรก็ตามในขณะที่ขั้นต่ำของรัฐ DFAs สร้าง bijection กับส่วนที่เหลือทั้งหมดรัฐ RFSAs ที่เป็นที่ยอมรับอยู่ใน bijection กับส่วนที่เหลือเฉพาะ อาจมีจำนวนน้อยกว่านี้แทนดังนั้น RFSAs จึงมีขนาดกะทัดรัดกว่า DFAs มากสำหรับการแสดงภาษาปกติ อย่างไรก็ตามฉันไม่สามารถบอกได้ว่ามีอัลกอริทึมที่มีประสิทธิภาพสำหรับการลด RFSAs หรือหากมีความแข็ง ความซับซ้อนของการลด RFSAs คืออะไร จากการสืบค้น [BBCF10] ดูเหมือนว่านี่จะไม่ใช่ความรู้ทั่วไป ในอีกด้านหนึ่งฉันคาดหวังว่าสิ่งนี้จะยากเพราะคำถามง่าย ๆ มากมายเกี่ยวกับ RFSAs เช่น "NFA นี้เป็น RFSA หรือไม่" ยากมากที่ PSPACE …