发送短信 : Modelling of splicing systems using formal language theory