Академический Документы
Профессиональный Документы
Культура Документы
IF3001
Tarea:
Máquinas de Turing
29/01/2019
III Ciclo
1. Inventar una máquina de Turing que permita leer cualquier número
en Unario y lo repita a la derecha, pero separado por un 0 (cero).
Alfabeto
S= Estado Actual
R=Carácter Leído
W=Carácter Escrito
M= Movimiento (R=Derecha, L=Izquierda, H=Final)
N=Nuevo estado
Estados
0 = Estado Inicial
1,2,3 =Estados Medios
4 =Estado Final
S R W M N
0 0 0 R 1
0 1 1 R 0
1 0 1 R 2
1 1 1 R 3
2 0 1 R 3
2 1 1 R 2
3 0 1 R 4
3 1 1 R 0
4 0 1 L 4
4 1 1 H 4
Ejemplo: 1111 111101111
Significado Símbolos
= Indica el estado en el que se encuentra
0 = Vale 0
* = Vale 1
0 * * * *
0 * * * *
0 * * * *
0 * * * *
0 * * * *
1 * * * * 0
2 * * * * 0 *
3 * * * * 0 * *
4 * * * * 0 * * *
4 * * * * 0 * * * *
2. Inventar una máquina que permita incrementar en uno cualquier
valor binario que presenta la cinta. Aplique su máquina partiendo de
esta situación 1110
Alfabeto
S= Estado Actual
R=Carácter Leído
W=Carácter Escrito
M= Movimiento (R=Derecha, L=Izquierda, H=Final)
N=Nuevo estado
Estados
0 = Estado Inicial
1=Estados Medios
2=Estado Final
S R W M N
0 0 0 R 1
0 1 1 R 1
1 0 1 R 1
1 1 1 R 2
2 0 0 H 2
2 1 0 H 2
Ejemplo: 1110 1111
Significado Símbolos
= Indica el estado en el que se encuentra
0 = Vale 0
* = Vale 1
0 * * * 0
1 * * * 0
1 * * * 0
1 * * * 0
2 * * * *
2 * * * * 0
3. Utilizando el sistema binario, definir una máquina de Turing que
permita ingresar al usuario una cadena de valores y calcule cuántos
valores tiene esa cadena.es decir muestre de forma consecutiva
cuantos ceros y cuantos unos tiene la cadena ingresada.
Alfabeto
S= Estado Actual
R=Carácter Leído
W=Carácter Escrito
M= Movimiento (R=Derecha, L=Izquierda, H=Final)
N=Nuevo estado
Estados
0 = Estado Inicial
1=Estados Medios
2=Estado Final
S R W M N
0 0 0 R 0
0 1 0 R 1
1 0 1 R 2
1 1 0 R 1
2 0 1 R 2
2 1 1 H 2
Ejemplo: Cadena ingresada = “011001” 000111
Lo anterior indica que se tiene 3 ceros y 3 unos de la cadena de valores
ingresada.
Significado Símbolos
= Indica el estado en el que se encuentra
0 = Vale 0
* = Vale 1
0 0 * * 0 0 *
0 0 * * 0 0 *
1 0 0 * 0 0 *
1 0 0 0 0 0 *
2 0 0 0 * 0 *
2 0 0 0 * * *