A splicing system describes the action of sets of restriction enzymes and a ligase that acts on DNA
molecules in order to
produce further
molecules. The language generated by a splicing system is called a splicing language, which can then be analyzed using concepts in formal language theory. It consists of the strings in the initial set and all strings in the closure of initial set under the operation of splicing. Adult language and limit language are subsets of the slicing language. This research initiates the connection between formal language theory and the study of informational macromolecules. A laboratory
verification of the mathematical model of the actual wet-lab procedure is discussed, where the adult language and limit language are distinct in this case.