A Constructive Approach To The Universality Criterion For Semigroups