Zaslat SMS: Formal properties of finite automata and applications :