发送短信 : Bonded sequential and parallel insertion-deletion systems in formal language theory