https://123dok.net/document/q7w77n7r-pushdown-automata-accepting-constant-height-decidability-extended-abstract.html