この資料をSMS送信: An Introduction to automata theory and formal languages