Zoo złożoności dla języków jednoargumentowych

Oczywiście niektóre wyniki złożoności mogą się zawalić w przypadku języków jednoargumentowych, ale zastanawiam się, czy istnieje gdzieś ankieta podsumowująca znane wyniki w tym przypadku: rodzaj zoo złożoności dla języków jednoargumentowych. Czy znasz takie referencje?

Nie ma jeszcze odniesienia w stylu zoo, ale ostatnia ankieta teoretyczna na temat automatów Giovanniego Pighizziniego była dla mnie przydatna, szczególnie slajdy z jego przemówienia.

• Giovanni Pighizzini, Dochodzenia w sprawie automatów i języków nad jednoznacznym alfabetem , CIAA 2014. doi: 10.1007 / 978-3-319-08846-4_3

Ciekawym pytaniem o klasy złożoności w stosunku do jednoargumentowego alfabetu, którego nie ma w powyższych odniesieniach, jest siła klasy Valiant #P ₁ , klasy liczenia problemów w stosunku do jednoargumentowego alfabetu (patrz http://epubs.siam.org/doi/ abs / 10.1137 / 0208032 ). Niewiele wiadomo o jego sile, choć ma naturalne kompletne problemy i, podobnie jak języki jednoargumentowe, ma obwody wielomianowe.