この資料をSMS送信: Theory of automata, formal languages and computation