發送短信: New variants of insertion and deletion systemsin formal languages /