Laboratorio libre

Tus funciones de computación ya están cargadas: runDFA, traceDFA, parseTM, tmStep, runTM, tapeString, drawSpaceTime, busyBeaverStats, enumerate2State, haltsWithin, collatzSteps, tagSystem… El experimento inicial dibuja el diagrama espacio-tiempo del castor de 4 estados.

Tus piezas · 0/20 escritas por ti

runDFA()traceDFA()drawTrace()pigeonholeWitness()fooled()tmStep()parseTM()runTM()tapeString()drawSpaceTime()countOnes()busyBeaverStats()enumerate2State()diagonalize()inTable()haltsWithin()collatzSteps()collatzOrbit()tagSystem()collatzByTag()

Teal = tu código. Gris = referencia (aún no completaste ese paso).

Retos abiertos

01
Escribe una máquina que duplique una cadena de unos (111 → 111111) y mira su diagrama espacio-tiempo.
02
Enumera las máquinas de 2 estados que no paran en 50 pasos y clasifícalas: ¿cuáles corren a un lado, cuáles oscilan, cuáles crecen?
03
Construye un DFA para «cadenas binarias sin dos unos seguidos» y cuenta cuántas de largo n acepta: ¿reconoces la sucesión?
04
Prueba el sistema de etiquetas de De Mol con n = 27 y compara el número de palabras con collatzSteps(27).

¿Quieres ver versiones terminadas y afinadas de estos fenómenos? Kósmos Interactivo los exhibe; aquí los construyes tú.

Vista previa · canvasen vivo