この資料をSMS送信: New variants of insertion and deletion systemsin formal languages /