https://9dok.net/document/zpn451rv-blocking-automata-for-pspace-dls.html