Instituto Tecnolgico Superior De San Andrs TuxtlaTEMA: CUESTIONARIO

ALUMNO (a): RAYSA YOLANDA AGUILAR MARTINEZ

CARRERA: INGENIERA EN SISTEMAS COMPUTACIONALES

MATERIA: TEORIA DE LA COMPUTACION

1.- Define que es una maquina de Turing: Es una 7-tupla M=(Q, , , S , b , F , ) donde: Q= Conjunto de estados = Alfabeto de entrada = Alfabeto de cinta SQ = Estado inicial b = Smbolo blanco F = Estado final = Funcin parcial de transicin 2.- A que se enumerable: le llama lenguaje recursivamente

Es cuando un lenguaje es aceptado por una maquina de turing; el termino enumerable proviene de que dichos lenguajes son aquellos cuyas cadenas pueden ser enlistados por la maquina. 3.- A que se le llama funcin de una cadena que es Turing computable: Es cuando una maquina de turing M=(Q, , , S , b , F , ) para la cual q,w ---* qf U para allgun qf f cuando f(w)= U. 4.- Como se puede crear una maquina de Turing:

Es construir una coleccin de maquin de Turing sencillas y combinarlas de diferentes formas con el fin de crear una mas compleja.

5.- Como se debe denotar la composicin de las maquinas de Turing M1 y M2: Q= Q1 U Q2 S = S1 F = F2 ----- *S1 (q, ), Si qQ1 y (q, )todo pF

(p,t,x) para

(q,algn pF

) ---

*S2 (q, ), Si qQ2

------*S1 (S2,t,x), Si qQ1 y (q, )= (p,t,x) para

6.- Como esta constituida multicinta y en que favorece?

la

maquina

de

turing

Esta constituida por varias cintas, cada una de las cuales tiene una propia cabeza de lectura/escritura. 7.- A que se le llama maquina de turing universal? Es una maquina de turing que a partir de una descripcin adecuada de una maquina de turing M y una cadena W simula el comportamiento de M sobre la cadena. 8.- A que se le llama problema de parada? Son aquellos problemas irresolubles los cuales consisten en un problema que no cuenta con un algoritmo capaz

de responder si o no a cada caso y por tanto no tendr solucin. 9.- Determinar cuando se dice que un lenguaje L es regular si tambin L es recursivo (Ejemplo). Sabemos que hay una maquina de turing que pasa sobre todas las entradas y que acepta ab n>=1 sabemos que este lenguaje no es regular por lo tanto hay lenguajes recursivos que no son regulares. 10.-Enlistar los lenguaje que acepta la maquina de turing? Regulares Independientes del contexto Recursivos Recursivamente enumerable

11.- Quien fue David Hilbert? Fue el ltimo universalista y matemtico influyente de la primera mitad de este ciclo. 12.- Cuales fueron los campo de investigacin en los que se enfoco? La teora de invariantes algebraicos, teora de los cuerpos negros algebraicos y teora de los nmeros. 13.- Que fue lo que realizo en el congreso internacional de matemticas en 1990?

Pronuncio una de las ponencias centrales en las cual presento una lista de problemas abiertos. 14.- Cuales son las categoras en las que se clasifican los problemas? 1.fundamentos (analisis,geometra,fisica) problemas del 1 al 6 y el 18 2.teora de nmeros (problema del 7 al 12) 3.Algebra (Invariables y geometra algebraica) problema del 13 al 17 4. Anlisis (calculo relacional y anlisis complejo) problema de 19 al 23 15.-Que buscaba en su sistema formal? Que todos los sistemas pudieran plantearse con presiones y trminos de proposicin que fueran verdaderas o falsas. 16.- Cuales son las tesis chuch-Turing? Todas las definiciones razonables de algoritmo conocidos hasta el momento son equivalentes y cualquier definicin razonable de algoritmo que se llegue a dar, a su vez ser equivalente a definiciones ya conocidas. 17.- Cuando se dice que un problema nos computable? Cuando no existe un algoritmo para resolverlo

18.- En trminos universalidad?

informales

a

que

se

refiere

Significa que cualquier computadora es equivalente a todas las otras en un sentido que todas pueden efectuar las mismas tareas. 19.- En que consiste el problema de deteccin no computable? Consiste en determinar si un programa arbitrario P se detendr o no al ejecutarse con datos arbitrarios de entradas D.