Αποστολή με SMS: Formal properties of finite automata and applications :