File:Rice reduction.svg
Aller à la navigation
Aller à la recherche
Taille de cet aperçu PNG pour ce fichier SVG : 500 × 600 pixels. Autres résolutions : 200 × 240 pixels | 400 × 480 pixels | 640 × 768 pixels | 853 × 1 024 pixels | 1 707 × 2 048 pixels.
Fichier d’origine (Fichier SVG, nominalement de 500 × 600 pixels, taille : 14 kio)
Légendes
Légendes
Ajoutez en une ligne la description de ce que représente ce fichier
Description
[modifier]
| Description |
English: A Turing machine which solves the halting problem, built using a Turing machine which decides any nontrivial property about the language of a Turing machine. Used to illustrate the reduction which generates a contradiction to prove Rice's Theorem. |
| Date | |
| Source | Travail personnel |
| Auteur | Booyabazooka |
Conditions d’utilisation
[modifier]
|
Moi, propriétaire des droits d’auteur sur cette œuvre, la place dans le domaine public. Ceci s'applique dans le monde entier. Dans certains pays, ceci peut ne pas être possible ; dans ce cas : J’accorde à toute personne le droit d’utiliser cette œuvre dans n’importe quel but, sans aucune condition, sauf celles requises par la loi. |
Historique du fichier
Cliquer sur une date et heure pour voir le fichier tel qu'il était à ce moment-là.
| Date et heure | Vignette | Dimensions | Utilisateur | Commentaire | |
|---|---|---|---|---|---|
| actuel | 9 décembre 2008 à 02:17 | | 500 × 600 (14 kio) | Chris-martin (d | contributions) | {{Information |Description={{en|1=A Turing machine which solves the halting problem, built using a Turing machine which decides any nontrivial property about the language of a Turing machine. Used to illustrate the reduction which generates a contradicti |
Vous ne pouvez pas remplacer ce fichier.
Utilisations locales du fichier
Aucune page n’utilise ce fichier.
Utilisations du fichier sur d’autres wikis
Les autres wikis suivants utilisent ce fichier :
- Utilisation sur en.wikipedia.org
- Utilisation sur fr.wikipedia.org
- Utilisation sur pt.wikipedia.org
