この資料をSMS送信: Taxonomies and toolkits of regular language algorithms /