Kebun binatang kompleksitas untuk bahasa unary

Tentu saja, beberapa hasil kompleksitas mungkin runtuh untuk bahasa unary tapi saya bertanya-tanya apakah ada suatu survei yang merangkum hasil yang diketahui dalam kasus ini: semacam kompleksitas kebun binatang untuk bahasa unary. Apakah Anda tahu referensi seperti itu?

Belum ada referensi gaya Zoo, tetapi survei automata-teoretis terbaru Giovanni Pighizzini telah berguna bagi saya, terutama slide dari ceramahnya.

• Giovanni Pighizzini, Penyelidikan tentang Automata dan Bahasa melalui Abjad Unary , CIAA 2014. doi: 10.1007 / 978-3-319-08846-4_3

Satu pertanyaan menarik tentang kelas kompleksitas daripada alfabet unary yang tidak ada dalam referensi di atas adalah kekuatan kelas Valiant #P ₁ , kelas menghitung masalah lebih dari alfabet unary (lihat http://epubs.siam.org/doi/ abs / 10.1137 / 0208032 ). Tidak banyak yang diketahui tentang kekuatannya, meskipun memiliki masalah lengkap alami dan, seperti bahasa unary, memiliki sirkuit ukuran polinomial.