https://123dok.net/document/z3d34jwd-generating-functions-languages-accepted-deterministic-reversal-counter-machines.html