Αποστολή με SMS: Theory of formal systems /