發送短信 : Taxonomies and toolkits of regular language algorithms /