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