Zaslať SMS: Teorija formal'nych sistem