una de las danzas en donde bailamos con y a partir de una fila / tira / cinta de objetos y una tabla específica de estados, en un acomodo tal que nos permite simularnos bailando con y a partir de una fila / tira / cinta de objetos y cualquier tabla específica de estados.
implementación especial de una máquina de turing d-turing, con la capacidad de simular, emular, ser, cualquier otra máquina de turing.
contexto
no one has seriously proposed the use of a turing machine structure for any practical computation. indeed, i do not even know of one built for demonstration purposes (minsky, 1967, p128)
we will see that these machines are horribly inefficient and slow - so much so that no one would ever waste their time building one except for amusement - but that, if we are patient with them, they can do wonderful things (feynman, 1996, p54)
la máquina
esta máquina está basada en la máquina universal de turing desarrollada y explicada en estos libros:
- computation: finite and infinite machines - marvin minsky 1967
- feynman lectures on computation - richard feynman 1996
símbolos en la cinta
la máquina trabaja con los siguientes seis símbolos en su cinta.
los símbolos ▯, ◫, corresponden a codificar "0" y "1" respectivamente.
estado inicial de la cinta
la cinta de la máquina tiene la propiedad de contener la descripción de una máquina de turing a simular / ejecutar, en forma de quintuplas binarias; y además contiene la cinta de esa máquina de turing en cuestión.
la cinta tiene un extremo que llamamos "origen" o "centro" (espiral en la imagen), y la cabeza ha de empezar en la posición indicada.
de donde está la cabeza, hacia el origen, lo que se encuentra en la cinta es un conjunto de quintuplas binarias correspondientes a la máquina de turing a simular, separadas por * y terminadas con un triángulo. este ejemplo utiliza la máquina "contador alternado" documentada en máquinas de turing
de donde está la cabeza, hacia el otro lado, lo primero que se encuentra es una codificación binaria del estado y símbolos en cinta actuales de la máquina simulada. en esa misma dirección, después del triángulo, se encuentra la cinta de la máquina simulada, con un * indicando la posición de su respectiva cabeza.
estados de la máquina
la máquina cuenta con 23 estados posibles, expresados con las siguientes figuras:
full image of the symbols (png, ~1.5MB)
las figuras con bordes curvos indican mover la cabeza hacia el origen, y las que tienen bordes rectos indican mover la cabeza lejos del origen.
las figuras solo indican los símbolos en la cinta (en naranja) que causan algun efecto:
- en verde está el símbolo al cual hay que transformar el símbolo leído
- en amarillo está el estado siguiente al que hay que transicionar.
ciclo de la máquina
hay que repetir la secuencia indicada a continuación:
- mueve la cabeza en la dirección indicada por la forma de la figura de estado.
- observa cuál es el nuevo símbolo activo en la cinta, y búscalo en la figura del estado.
- si hay un nuevo símbolo en verde, transforma el símbolo activo a este.
- si hay un nuevo estado indicado en amarillo, busca la figura correspondiente, y transiciona a ese estado .
en escena
una versión de la máquina universal bailable se presentó como acto escénico, uno de nuestros performances
la consagración de la computadora
además, se ha escrito al respecto como parte de nuestras proposals:
dancing a universal turing machine
archivo
en esta página de chsnec se habla (en inglés) de su desarrollo e iteraciones: