Skip to Main content Skip to Navigation

Systèmes de Head et applications à la bio-informatique

Abstract : This work is situated in the heart of a recent domain: (bio)molecular computing, which is a domain where biology and computer science meet. This domain investigates models of computing having biological inspiration. Head splicing systems, based on the splicing operation, as well as their extensions are one of the most important models of computing in this domain. We concentrated on the study of different extensions of Head systems by showing often optimal universality results with respect to main parameters of these systems what permitted us to establish several frontiers between decidability and undecidability for these extensions. Moreover, we found several common features of these systems and we designed a generic method that permits to prove easily equivalences with classical models of computing. We also considered membrane systems that are inspired by the structure and the functioning of a living cell. We were particularly interested in the combination of these models and Head systems: splicing membrane systems and we solved a number of open problems for these systems. This work manipulates fundamental notions of the theory of computing and of the molecular computing. It gives solutions to certain important open problems of the last domain and it poses at the same time several interesting questions.
Complete list of metadata

Cited literature [72 references]  Display  Hide  Download
Contributor : Thèses UL Connect in order to contact the contributor
Submitted on : Thursday, March 29, 2018 - 12:41:42 PM
Last modification on : Tuesday, April 10, 2018 - 1:27:12 AM


Files produced by the author(s)


  • HAL Id : tel-01750252, version 1



Serghei Verlan. Systèmes de Head et applications à la bio-informatique. Autre [cs.OH]. Université Paul Verlaine - Metz, 2004. Français. ⟨NNT : 2004METZ004S⟩. ⟨tel-01750252⟩



Record views


Files downloads