Probability theory on discrete semigroups