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.
> 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 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:
=> ./img/ilustracion_symbols_mub.png Symbols corresponding to the 23 choreographic configurations in the rite of computing. They contain the formulas that describe the operations to perform during each of them.
=> https://ipfs.io/ipfs/QmVFYxZv2vjhz3pCkCfEvgGktL2dNbV55KfRPFRqyUJJVX/ilustracion_simbolos_mub.png 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.