Computational Models

This field of reasearch is focused on the investigation of a formal operation for generating languages based on the cut and paste phenomenon occuring in recombinant DNA, named splicing. Our main contribution concerns the design of decision procedures for classes of regular splicing languages (linear and circular). More recently, we have contributed to solve a conjucture on the existance of constants in regular splicing languages.