https://123dok.net/document/zlgljjeg-minimized-compact-automaton-for-clumps-over-degenerate-patterns.html