สวนสัตว์ที่มีความซับซ้อนสำหรับภาษาต่าง ๆ

แน่นอนว่าผลลัพธ์ความซับซ้อนบางอย่างอาจล้มเหลวสำหรับภาษาที่เป็นเอกภาพ แต่ฉันสงสัยว่ามีบางแห่งที่มีการสำรวจสรุปผลลัพธ์ที่ทราบในกรณีนี้หรือไม่: สวนสัตว์ที่มีความซับซ้อนสำหรับภาษาที่เป็นเอก คุณจะรู้เกี่ยวกับการอ้างอิงดังกล่าวหรือไม่

ยังไม่มีการอ้างอิงสไตล์ Zoo แต่การสำรวจออโตมาตาเชิงทฤษฎีเมื่อเร็ว ๆ นี้ของ Giovanni Pighizzini มีประโยชน์สำหรับฉันโดยเฉพาะสไลด์จากการพูดคุยของเขา

• Giovanni Pighizzini การสืบสวนเกี่ยวกับ Automata และภาษาผ่านตัวอักษร Unary , CIAA 2014. Doi: 10.1007 / 978-3-319-08846-4_3

คำถามหนึ่งที่น่าสนใจเกี่ยวกับคลาสที่ซับซ้อนเหนือตัวอักษรเอกนารีที่ไม่ได้อยู่ในการอ้างอิงข้างต้นคือความแข็งแกร่งของคลาส Valiant #P ₁ซึ่งเป็นปัญหาการนับจำนวนตัวอักษรเอก (ดูhttp://epubs.siam.org/doi/) abs / 10.1137 / 0208032 ) ไม่ค่อยมีใครรู้เกี่ยวกับพลังของมันถึงแม้ว่ามันจะมีปัญหาตามธรรมชาติอย่างสมบูรณ์และเช่นเดียวกับภาษาที่เป็นเอกภาพมีวงจรขนาดพหุนาม