Strict topology over the space of measures with continuous translations on a semigroup