Invia SMS: Algebraická teorie automatů /