notas mub

src/estilo.css

@@ -38,6 +38,10 @@ pre{
  overflow-x: auto;
 }
 
+blockquote{
+ font-style: italic;
+}
+
 main h1{
  margin-top: 2.0em;
  font-size: 30px;

src/mub.gmo

@@ -4,19 +4,62 @@ una de {las danzas} en donde bailamos con y a partir de una fila / tira / cinta
 
 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
 
-próximamente
+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.
+
 => ./img/dibujo_mub_simbolos-cinta.png los seis símbolos a utilizar en la 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.
+
 => ./img/dibujo_mub_cinta-inicial.png dibujo de una persona al lado de una combinación extensa de varios símbolos en la cinta
 
-este ejemplo utiliza la máquina "contador alternado" documentada en {máquinas de turing}
+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.
+
+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