Visualización de Compuerta con Pliegues
Selecciona la compuerta y las entradas. El papel muestra los “wires” como Montaña (1) y Valle (0).
Salida: ?
Explicación: —
“Célula” de Regla 110 con Pliegues
La salida se calcula con la Regla 110 usando el vecindario (A,B,C) = (izq, centro, der). La celda encadena gadgets lógicos (NAND/NOR/OR) representados como cajas en el papel.
Salida: ?
¿Qué estás viendo?
- Bits como pliegues dirigidos: cada “wire” es un trío de líneas paralelas (valle‑montaña‑valle). Un solo valle activo codifica 0 u 1 según su lado. La línea central (montaña) guía el flujo.
- Compuertas como gadgets: regiones del papel que fuerzan combinaciones válidas de pliegues (Kawasaki, Maekawa) para implementar AND/NOR/NAND/NOT. El orden de capas (taco‑taco/tortilla‑tortilla) impide estados inválidos.
- Regla 110: con tres entradas (A,B,C) la salida es 1 para patrones 110,101,011,010,001 y 0 para 111,100,000. Esta regla es Turing‑completa y aquí la ilustramos con pliegues.
Editor de Fila Inicial
Haz clic en la grilla inferior para activar/desactivar celdas (1 = Montaña, 0 = Valle). Luego Evolucionar para generar la historia computacional.
Evolución Regla 110 en Papel
Colores: 1 = Montaña · 0 = Valle. Las líneas diagonales evocan el “plegado” en dirección de flujo.
Por qué esto muestra Turing‑completitud
La Regla 110 es un autómata celular elemental que puede simular una Máquina de Turing. El paper de Hull & Zakharevich (2025) construye gadgets de origami (wires, compuertas, intersecciones, twists y eaters) que implementan la Regla 110 en una teselación plana. Al encadenar estas celdas se obtiene un “papel” cuyo plegado plano replica la historia de una computación universal.
- Local → Global: condiciones locales (Kawasaki/Maekawa) fuerzan salidas válidas; combinadas sobre la teselación producen la dinámica global de la Regla 110.
- Alcance: con suficiente papel (celdas), cualquier cálculo finito de una Máquina de Turing puede representarse como una secuencia de pliegues.