SMS versenden: Teorija formal'nych sistem