From 01627d317dd1ff743959cb2db77532a184158527 Mon Sep 17 00:00:00 2001 From: sejo Date: Wed, 1 Sep 2021 19:43:25 -0500 Subject: [PATCH] archivos para turingsim --- src/máquinas_de_turing.gmo | 78 ++++++++++++++++++++++++++++++++++++- 1 file changed, 77 insertions(+), 1 deletion(-) diff --git a/src/máquinas_de_turing.gmo b/src/máquinas_de_turing.gmo index 62c1cc3..470c4f5 100644 --- a/src/máquinas_de_turing.gmo +++ b/src/máquinas_de_turing.gmo @@ -100,6 +100,42 @@ dado un símbolo encontrado en la cinta, y un estado actual: ¿por cuál símbol & * si el estado es 'b' y el símbolo leído es 1, escribe 0, mueve la cabeza a la derecha, y cambia al estado 'a' & * si el estado es 'b' y el símbolo leído es B, escribe 1, y termina la operación +## archivo para turingsim + +este archivo se puede utilizar con {turingsim} + +``` +a +101101B +0 +6 +a0a00 +a1b00 +aBH00 +b0b00 +b1a00 +bBH10 +80 +``` + +en este caso el estado final indica paridad par: + +``` +step 7 + H +0000000 +halted +``` + +cambiando la cinta inicial a por ejemplo 101100B, con paridad impar, el resultado es: + +``` +step 7 + H +0000001 +halted +``` + # comprobador de paréntesis esta máquina revisa una secuencia con pares de paréntesis, y al finalizar escribe 1 si es una secuencia bien formada, o 0 si no. @@ -189,7 +225,6 @@ c(H00 cAH10 cXcX1 80 - ``` # contador @@ -249,6 +284,33 @@ esta máquina puede escribirse entonces como quintupla binaria, en formato: esta esta quintupla puede usarse como parte de la cinta de la máquina universal bailable {mub} +## archivos para turingsim + +estos archivos se pueden usar con {turingsim} para simular su comportamiento. + +esta es la versión usando el nombre del estado 'a': + +``` +a +0000001 +0 +2 +a0a10 +a1H10 +80 +``` + +y así usando '0' para quedarnos con una quintupla en formato binario + +``` +0 +0000001 +0 +1 +00010 +80 +``` + # 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í) @@ -306,3 +368,17 @@ esta máquina puede escribirse entonces como un par de quintuplas binarias, en f ``` estas quintuplas pueden usarse como parte de la cinta de la máquina universal bailable {mub} + +## archivo para turingsim + +este archivo se puede utilizar con {turingsim} para simular el conteo a partir de esta dupla de quintuplas (?) + +``` +0 +0000001 +0 +2 +00110 +10000 +80 +```