forked from sejo/compudanzas
archivos para turingsim
This commit is contained in:
parent
339e12eea0
commit
01627d317d
|
@ -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
|
||||
```
|
||||
|
|
Loading…
Reference in New Issue
Block a user