https://9dok.net/document/q2n7r1ve-exercise-b-uchi-pushdown-systems.html