théorème de Church-Rosser
- Domaines
-
- philosophiethéorie de la connaissance
- intelligence artificielle
- Dernière mise à jour
Définition :
Le théorème de Church-Rosser montre qu'il est possible de commencer à travailler sur n'importe quelle partie d'une expression, et que ceci n'entraîne aucune perte de possibilités par rapport à commencer par une autre partie de l'expression.
Notes :
Plus généralement, tout langage pour lequel la notion de réduction existe est dit posséder la propriété de Church-Rosser, ou être confluent, s'il admet le théorème de Church-Rosser.
Théorème démontré conjointement par A. Church et J. B. Rosser, se rapportant au lambda calcul de Church.
Un théorème correspondant existe pour la logique combinatoire.
Terme privilégié :
- théorème de Church-Rosser n. m.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- Church Rosser-theorem
Terme associé :
- Church's theorem