https://9dok.net/document/y8g7wo2w-algebraic-automata-theory.html