https://9lib.org/document/q7wew32n-an-automata-toolbox-version-of-may.html