Zaslat SMS: Formal language description languages