SMS versenden: Teorie automatů