1) describe el concepto de la mquina de Turing:

El bosquejo de una abstraccin conceptual basada en la observacin como del hombre resuelve los problemas.

 

2) describe el modelo fsico de la mquina de Turing:

Se constituye da:

a) un cuerpo de supervisin en el cual un programa a ejecutarse es presente y el ejecutor del rgano que toma el cuidado de los movimientos.

b) una cinta ilimitada que tiene funcin en muchos casos del ognuna subdividido memoria di.le que pueda contener un smbolo, en la cinta puede encontrar el lugar que una n termin de los smbolos no en blanco y restantes infinitamente de espacio en blanco de los smbolos.

 

3) que las operaciones se conceden a la mquina de Turing:

se conceden 4 operaciones de las cuales todo el testina de la lectura y escritura pusieron en ejecucio'n del T.L.S. de el cual es:

a) leyendo el actual smbolo en la clula que de la cinta ejecutan

b) Para escribir un smbolo en la clula los ejecuta automticamente cancelando el smbolo que le fue escrito previamente.

c) Para moverse en la clula siguiente en la izquierda de la cinta.

d) Para moverse en la clula derecha siguiente de la cinta.

 

4) como extrnseco la operacin de una mquina de Turing:

A travs de una tal matriz:

Las lneas son todos los estados posibles en los cuales el m.d.T. l puede ser encontrado.

Las columnas son todos los smbolos posibles que el m.d.T. l puede resolver.

la " combinacin de la renta constituida del producto cartesiano sea las ejecuta smbolo resuelto ^X, tiene en la interseccin de la matriz un tern de las cuales represente la salida lo ejecute paso de la elaboracin, constituido ellas den:

a) smbolo a substituir al smbolo ledo.

b) nuevo sea que la mquina debe asumir.

c) posicin del smbolo siguiente a analizar.

 

5) describe el modelo del algebrico de la mquina de Turing:

Segn este modelo el m.d.T. no es que un tern constituida da:

a) Q termin la totalidad de los estados

b) S termin la totalidad de los smbolos

c) El subconjunto de P con del quntuplo formado da:

c, a) sea los ejecuta

c, b) smbolo los ejecuta

c, c) smbolo a substituir al smbolo los ejecuta

c, d) nuevo sea

c, e) movimiento a realizar para leer el smbolo sucesivo.

 

6) qu soporte para la configuracin instantnea de una mquina de Turing:

Es uno aprieta en una posicin al estrinsecare la condicin de la mquina de Turing en un momento de los datos. El comenzar de una configuracin instantnea de la salida se puede alcanzar la configuracin final con aplicaciones que de la matriz trabaja las y la modernizacin consiguiente de la configuracin instantnea.

Una configuracin instantnea es una aprieta tales: h q_I s_K x donde:

h es la aprieta significativa de la cinta que precede la clula actualmente leda

q es el estado en el cual la mquina de Turing se encuentra actualmente

s_K es el smbolo actualmente ledo

x es lo aprieta significativo de la cinta que sigue el attualmente ledo de la clula.

7) qu soporte para el computazione de una mquina de Turing:

Es un sequela de las descripciones instantneas que irse de la puerta instantnea de la descripcin a una las comienza sea final.

 

8) contorno para el planeamiento de un algoritmo con la mquina de Turing:

a) Encontrando la configuracin ms simple las comienza tales que aplicndolas el algoritmo nosotros es en una posicin a decir que ella trabaja.

b) Planear un algoritmo que resuelva simplemente el problema que trabaja en l aprieta.

* Caracterizar claramente la condicin del cierre del algoritmo y de los ciclos internos eventual.

c) Intentar el algoritmo encendido aprieta a campen.

 

9) declara la tesis de la iglesia:

Si un problema admite una resolucin algortmica, entonces de l admite uno expresado de una mquina de Turing (el previa codifica de los datos).

 

10) existe los problemas insolubles:

, un ejemplo es el algoritmo de parado

 

11) que son las caractersticas de un algoritmo:

a) se debe descrivibile con una n terminar de instrucciones.

b) no tenemos cualesquiera a ser un lmite a la n de datos en renta a la n de datos en escape.

c) las instrucciones no tienen que ser ambiguas.

d) la complejidad de las instrucciones debe tener un lmite terminado.

y) la necesidad del ejecutor tiene que disposicin una memoria ilimitada en memorizzare de la orden los datos.

f) el algoritmo debe acabar despus de una n terminada de pasos.

 

12) cuando un algoritmo es ms complejo que un otro:

Un algoritmo es ms complejo si l es menos eficiente donde viene la eficacia el tomar cuantificado en la consideracin que viene la cantidad de recursos (tiempo de la memoria de la ejecucin) esos ellos enganchado.

 

13) cuando un problema es trattabile:

Cuando existe un algoritmo que las resoluciones l en trminos del polinomiali.