Un análisis reciente demuestra que las reglas de transliteración definidas en el estándar Unicode UTS #35, diseñadas para transformar caracteres como «é» en «e», poseen bajo su semántica natural una potencia de cómputo equivalente a la de una máquina de Turing. Estas reglas, distribuidas como datos de localización dentro de la biblioteca ICU —empleada en la práctica totalidad de sistemas operativos, navegadores, tiempos de ejecución y bases de datos—, permiten reescritura ilimitada mediante un cursor que puede retroceder sobre el texto recién producido, una técnica ya usada en producción, por ejemplo, en la transformación Latin-Katakana.
Para probar la universalidad del mecanismo, el autor compila un sistema de etiquetas de dos símbolos (2-tag system), un modelo de cómputo universal descrito por Emil Post en 1943, en un conjunto de reglas de transliteración. Como ejemplo concreto, implementa el sistema de etiquetas equivalente a la función de Collatz propuesto por Liesbeth De Mol, donde cada letra se asocia a una producción. Mediante un marcador de lectura fijo al inicio de la cadena y reglas que reescriben la configuración completa en cada paso, la transformación simula paso a paso el sistema de etiquetas, terminando exactamente cuando este se detiene. Tres líneas de reglas bastan así para computar la conjetura de Collatz.
El artículo muestra además cómo cualquier sistema de etiquetas de dos símbolos puede compilarse con una regla por letra, lo que produce un archivo de reglas fijo capaz de simular cualquier máquina de Turing codificada en la palabra de entrada. Como pruebas adicionales, se implementan el autómata celular Regla 110 y el autómata generador de primos en tiempo real de Wolfram, ambos ejecutándose únicamente con las reglas y la biblioteca ICU estándar, sin código Python. Aunque ICU limita internamente cada llamada a transliterate() para evitar ciclos infinitos —puesto que la terminación es indecidible—, la especificación UTS #35 no impone tal límite, lo que convierte un archivo de reglas de transliteración en un programa ejecutable y plantea implicaciones de seguridad al tratar estos archivos como meros datos.