De fil en aiguille, Turing-complet

 (beza1e1.tuxen.de)
2 points par lifthrasiir 2019-07-19 | 2 commentaires | Partager sur WhatsApp

Dire qu’un système est Turing-complet (https://en.wikipedia.org/wiki/Turing_completeness) signifie que, si l’on suppose l’absence de contraintes de temps et d’espace, il peut faire exactement la même chose que l’ordinateur tel qu’on le connaît habituellement. Pourtant, dans bien des cas, il est gênant qu’un système soit Turing-complet, ou bien il l’est devenu un peu par hasard, sans intention particulière. J’ai traduit la liste rapidement.

  • Templates C++

  • Système de types de TypeScript

  • Génériques Java

  • Unité de gestion mémoire (MMU) x86

  • Règles de Magic: The Gathering (jeu de cartes)

  • HTML5 + CSS3

  • Minecraft

  • Dwarf Fortress

  • SQL

  • Préprocesseur C (uniquement si l’on autorise une entrée infinie)

  • Règles mod_rewrite d’Apache

  • Pokémon Yellow (un peu discutable, car cela réécrit le code du jeu via une faille de sécurité ?)

  • Système de types de Scala

  • Modèles MediaWiki

  • LittleBigPlanet

  • Server Side Includes

  • Configuration de Sendmail

  • Mode normal de Vim

  • BGP

  • Excel

  • Super Mario World (là aussi, via une réécriture du code du jeu exploitant une faille de sécurité)

  • PowerPoint

  • Rendu de polices

À lire aussi

2 commentaires

 
aucun 2019-07-21

Certains sont surprenants.
 
luzluna 2019-07-19

baba is you