Structural Theory of Automata, Semigroups, and Universal Algebra