Zaslat SMS: Theory of formal systems