Invia SMS: Short Regular Expressions from Finite Automata: Empirical Results