Enviar por SMS: O problema da ω-palavra para pseudovariedades de semigrupos