この資料をSMS送信: Automata and theoretical computer science