Zaslať SMS: Teorie automatů a systémů