Invia SMS: Algebraická teorie automatů