The q-theory of Finite Semigroups