Decidability and tameness in the theory of finite semigroups