Enviar por SMS: Problemas de decisão para semigrupos finitos