Відправити по sms: Formal models, languages and applications