Word problem for semigroups