この資料をSMS送信: Theory of computation:(with formal languages)