Unicode-Transliterationsregeln sind Turing-vollständig

Unicode's transliteration rules are Turing-complete

Unicode-Transliterationsregeln sind Turing-vollständig

Nicolas Seriot zeigt, dass die Transliterationsregeln von UTS #35, die in ICU und damit in praktisch jedem Betriebssystem und Browser stecken, universelle Berechnung ermöglichen. Er kompiliert ein 2-Tag-System für die Collatz-Funktion in nur drei Regeln und demonstriert damit, dass ein Regelwerk nicht nur Daten, sondern ein Programm ist. Die Terminierung ist unentscheidbar; ICUs Rewrite-Guard ist nur eine pragmatische Begrenzung. Auch Rule 110 und Wolframs Primzahl-Automat lassen sich umsetzen.

Die Überraschung ist, dass es in einem Datenformat für Locale-Dateien lebt, das in jedem Betriebssystem ausgeliefert wird und dessen Spezifikation diese Möglichkeit nicht erwähnt.

Mehr von diesem Tag

2026-07-09