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 metadatas

Cited literature [72 references]  Display  Hide  Download

https://hal.univ-lorraine.fr/tel-01750252
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 12:41:42 PM
Last modification on : Tuesday, April 10, 2018 - 1:27:12 AM

File

Verlan.Serghei.SMZ0404.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01750252, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

33

Files downloads

65