Semigroups, Automata And Languages