SMS versenden: Teorija avtomatov