この資料をSMS送信: Languages and machines: an introduction to the theory of computer science