Nataly, le 16 November 2011 - 17:14 PM, dit :

depuis le temps que je me retiens d'un commentaire pas technique du tout…
L'une des question les plus naturelles qui se posent sont des questions de décidabilité. En effet, par essence d'un modèle de calcul, la plupart des propriétés de ses calculs ou sur ses machines sont indécidables. Il est donc naturel de rechercher qu'est-ce qui rend un modèle de calcul indécidable afin d'essayer, au travers de simplifications ou de restriction, de décrire la frontière avec le décidable. Plusieurs approches sont envisagées. L'une d'elle consiste à décrire le modèle avec une théorie logique et d'affaiblir cette dernière soit en réduisant la puissance des prédicats soit en choisissant des logiques plus faibles. Une autre consiste à limiter directement les possibilités du système en contraignant les transitions possible.