Matthieu Kaczmarek : Théorème de la récursion et virus informatiques : expériences

 La correspondance entre le théorème de récursion de Kleene et la notion de 
virus informatique a été souligné par de nombreux auteurs. Il est surprenant 
que cette analogie n'est pas été approfondie en tant que modèle. Nous 
présenterons plusieurs points communs entre la théorie de la récursion et la 
virologie informatique. Puis, nous illustrerons ces relations par des exemples. 
Enfin, nous montrerons comment le théorème de récursion peut être utiliser en 
pratique.