Motivated by applications in theoretical computer science, the theory of finite semigroups has emerged in recent years as an autonomous …