https://9dok.net/document/qo51nxv5-visibly-pushdown-automata.html