發送短信: Mathematical modelling of persistent splicing systems in DNA computing /