Text this: Mathematical modelling of persistent splicing systems in DNA computing /