この資料をSMS送信: Automata, languages and programming :