發送短信: Short Regular Expressions from Finite Automata: Empirical Results