Seol mar théacs é seo: Mathematical modelling of persistent splicing systems in DNA computing /