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