Αποστολή με SMS: Introduction to automated theory, languages and computation