Αποστολή με SMS: Semantics of programming languages and algebra