q-theory of Finite Semigroups