https://123dok.net/document/qvlxlwdy-algorithms-and-lower-bounds-in-finite-automata-size-complexity.html