Язык TQBF PSPACE-полный. Вычисления с константной памятью: конечные автоматы, регулярные выражения.
Текущая версия конспекта.
