この資料をSMS送信: Algebraic theory of automata and languages