https://123dok.net/document/zx5mg83n-expressiveness-of-visibly-pushdown-transducers.html