Text this: Modelling of splicing systems using formal language theory