Irgendwie plötzlich Turing-vollständig

Von Turing-Vollständigkeit (https://en.wikipedia.org/wiki/Turing_completeness) zu sprechen bedeutet, dass etwas – unter der Annahme unbegrenzter Zeit- und Speicherressourcen – genau dieselben Aufgaben ausführen kann wie ein Computer, wie wir ihn gewöhnlich kennen. Allerdings ist Turing-Vollständigkeit bei manchen Dingen eher problematisch, oder sie wurden ganz ohne besondere Absicht irgendwie plötzlich Turing-vollständig. Ich habe die Liste einmal locker übersetzt.

• C++-Templates

• TypeScript-Typsystem

• Java-Generics

• x86 Memory Management Unit (MMU)

• Regelwerk von Magic: The Gathering (Kartenspiel)

• HTML5 + CSS3

• Minecraft

• Dwarf Fortress

• SQL

• C-Präprozessor (nur wenn unendliche Eingabe erlaubt ist)

• Apache-mod_rewrite-Regeln

• Pokémon Gelb (etwas uneindeutig, da dabei Spielcode über eine Sicherheitslücke umgeschrieben wird?)

• Scala-Typsystem

• MediaWiki-Vorlagen

• LittleBigPlanet

• serverseitige Includes

• Sendmail-Konfiguration

• Normal Mode von Vim

• BGP

• Excel

• Super Mario World (auch hier wird Spielcode über eine Sicherheitslücke umgeschrieben)

• PowerPoint

• Schriftarten-Rendering

[aucun]

Einige davon sind überraschend.

[luzluna]

baba is you