Αποστολή με SMS: Theory of finite automata