diff --git a/src/mub.gmo b/src/mub.gmo index 0782394..28e2414 100644 --- a/src/mub.gmo +++ b/src/mub.gmo @@ -13,3 +13,10 @@ próximamente una versión de la máquina universal bailable se presentó como acto escénico => ./la_consagración_de_la_computadora.gmi {la consagración de la computadora} + +# archivo de log + +en esta página se habla (en inglés) de su desarrollo e iteraciones: + +=> https://ipfs.io/ipfs/QmYYqFXowEuak9NVNMHexrwZQkEnfH4J6weSPpv3kjFP94/mub/process.html m.u.b. proceso +=> https://ipfs.io/ipfs/QmYYqFXowEuak9NVNMHexrwZQkEnfH4J6weSPpv3kjFP94/mub/instructions.html m.u.b. basic score diff --git a/src/máquinas_de_turing.gmo b/src/máquinas_de_turing.gmo index 534653a..2c959c5 100644 --- a/src/máquinas_de_turing.gmo +++ b/src/máquinas_de_turing.gmo @@ -166,3 +166,117 @@ dado un símbolo encontrado en la cinta, y un estado actual: ¿por cuál símbol => ./img/dibujo_tabla_d-turing_parentesis.png dibujo que representa la tabla de arriba, pero con símbolos estilizados +# contador + +esta máquina escribe "1"s en la cinta en una dirección, hasta encontrar un "1" en la cinta (o por siempre, si no es así) + +## alfabeto de símbolos posibles en la cinta + +dos símbolos posibles: 0 y 1 + +## conjunto de estados posibles + +un estado: a + +## estado inicial + +la máquina empieza en el estado a. + +la cinta ha de empezar vacía (llena de "0"s) o con algún "1" en su extremo superior + +``` +0000001 +``` + +la cabeza ha de empezar en alguno de los "0"s a la izquierda del "1" + +## tabla de reglas + +dado un símbolo encontrado en la cinta, y un estado actual: ¿por cuál símbolo hay que reemplazarlo, a qué dirección hay que mover la cabeza, y cuál ha de ser el nuevo estado? + ++ ++ ++ ++ ++ ++ ++
estado actualsímbolo leídonuevo símbolodirecciónnuevo estado
a01derechaa
a11-FIN
+ +& * si el estado es 'a' y el símbolo leído es 0, escribe 1, mueve la cabeza a la derecha, y quédate en el estado 'a' +& * si el estado es 'a' y el símbolo leído es 1, escribe 1, y termina la operación + +la condición de finalización puede omitirse: cuando la máquina no encuentra una entrada en la tabla, que corresponda a la combinación estado + símbolo, se detiene. + +## quintupla binaria + +como solo hay un estado, podemos representarlo con 1 bit con valor 0. + +los dos símbolos ya son las dos opciones de 1 bit, 0 o 1. + +las dos direcciones posibles también son las dos opciones de un bit, 0 para derecha y 1 para izquierda. + +esta máquina puede escribirse entonces como quintupla binaria, en formato: estado actual, símbolo actual, estado nuevo, símbolo nuevo, dirección: + +``` +00 010 +``` + +esta quintupla puede usarse como parte de la cinta de la máquina universal bailable {mub} + +# contador alternado + +esta máquina escribe una secuencia de "10" en la cinta en una dirección, hasta encontrar un "1" en la cinta (o por siempre, si no es así) + +## alfabeto de símbolos posibles en la cinta + +dos símbolos posibles: 0 y 1 + +## conjunto de estados posibles + +dos estados: a, b + +## estado inicial + +la máquina empieza en el estado a. + +la cinta ha de empezar vacía (llena de "0"s) o con algún "1" en su extremo superior + +``` +0000001 +``` + +la cabeza ha de empezar en alguno de los "0"s a la izquierda del "1" + +## tabla de reglas + +dado un símbolo encontrado en la cinta, y un estado actual: ¿por cuál símbolo hay que reemplazarlo, a qué dirección hay que mover la cabeza, y cuál ha de ser el nuevo estado? + ++ ++ ++ ++ ++ ++ ++
estado actualsímbolo leídonuevo símbolodirecciónnuevo estado
a01derechab
b00derechaa
+ +& * si el estado es 'a' y el símbolo leído es 0, escribe 1, mueve la cabeza a la derecha, y cambia al estado 'b' +& * si el estado es 'b' y el símbolo leído es 0, escribe 0, mueve la cabeza a la derecha, y cambia al estado 'a' + +las condiciones no especificadas detienen a la máquina. + +## quintupla binaria + +como hay dos estado, podemos representarlos como los valores de 1 bit, 0 para 'a' y 1 para 'b'. + +los dos símbolos ya son las dos opciones de 1 bit, 0 o 1. + +las dos direcciones posibles también son las dos opciones de un bit, 0 para derecha y 1 para izquierda. + +esta máquina puede escribirse entonces como un par de quintuplas binarias, en formato: estado actual, símbolo actual, estado nuevo, símbolo nuevo, dirección: + +``` +00 110 +10 000 +``` + +estas quintuplas pueden usarse como parte de la cinta de la máquina universal bailable {mub}