أرسل هذا في رسالة قصيرة: Modelling of splicing systems using formal language theory