SMS versenden: Theory of formal systems