Envoyer par SMS: Teorie automatů