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