Tarea 1-OVD

Instituto Politécnico Nacional
ESCOM
Olmos Verdin Diego
4CV4
Tarea 1
¿Qué es la Teoría Computacional?
“El objetivo central de esta área es entender, formalizar y estudiar los procedimientos mecánicos,
conocidos como algoritmos, que son utilizados al resolver un problema.
Para estudiar la noción de algoritmo, primero necesitamos un modelo matemático que sea capaz de
formalizar este concepto. El modelo matemático clásico de algoritmo está constituido por las Máquinas
de Turing, las cuales son máquinas de estado, con memoria y con una función de transición que indica
cómo cambiar el estado y el contenido de la memoria de la máquina. Una vez formulado un modelo
de computación, nos interesa conocer la cantidad de recursos computacionales que es necesario
utilizar para resolver un problema. El primero de estos recursos es el tiempo: cuántos pasos o cuantas
acciones debemos realizar para resolver el problema. También son importantes el espacio ocupado,
la necesidad de utilizar una fuente de números aleatorios, la posibilidad de resolver sub-problemas en
paralelo, entre otros. La formalización de un modelo de computación como objeto matemático nos
permite expresar de manera precisa preguntas sobre problemas o algoritmos. En particular, si L es un
problema. ¿Puede L ser resuelto por un algoritmo? ¿Puede ser L resuelto de manera eficiente?
¿Cómo podemos construir un algoritmo eficiente para L? ¿Es L un problema para el cual no existe un
algoritmo que lo resuelva? Es importante destacar que el modelo de la Máquina de Turing es
equivalente al computador moderno, por lo que una demostración matemática de que un problema no
puede ser resuelto de manera eficiente en una Máquina de Turing nos da como consecuencia que
este problema no puede ser resuelto de manera eficiente con los computadores que usamos hoy en
día.
El área de teoría de la computación es particularmente interdisciplinaria, nutriéndose de cualquier otra
área donde un problema deba ser resuelto por un algoritmo, tales como ingeniería, economía,
matemáticas, biología y química, entre muchas otras.
Dentro de las sub-áreas y aplicaciones de teoría de la computación que son activamente investigadas
en el IMC, podemos destacar:
Complejidad descriptiva: se estudia la complejidad de un problema en términos del lenguaje que es
necesario utilizar para definirlo. En particular, distintas lógicas matemáticas son utilizadas como
lenguajes para describir problemas.
Complejidad de lenguajes lógicos: se estudia la cantidad de recursos computacionales necesarios
para evaluar una fórmula en una lógica matemática.
Expresividad de lenguajes lógicos: se estudia lo que puede ser expresado (o definido) en una lógica
matemática, lo que permite entender el poder de esta lógica como modelo de computación.
Teoría de autómatas: se estudian modelos computacionales de menor complejidad basados en la
idea de máquinas de estado con memoria limitada (o sin memoria). Estos modelos tienen buenas
propiedades matemáticas y algorítmicas, siendo parte fundamental en el diseño e implementación de
compiladores, verificación de sistemas, bases de datos, sistemas distribuidos, entre otros.
Fundamentos de manejo de datos: se estudian las bases matemáticas que modelan las diferentes
tareas y aplicaciones relacionadas con el manejo de datos, lo cual requiere de la utilización de las
técnicas y problemas mencionadas en los puntos anteriores. “1
“Su objetivo es comprender la naturaleza de la computación y, como consecuencia de este

entendimiento, proporcionar metodologías más eficientes. Todos los trabajos que introduzcan o
estudien conceptos y métodos matemáticos, lógicos y formales son bienvenidos, siempre y cuando su
motivación se desprenda claramente del campo de la informática.
La teoría de la computación se centra en responder a preguntas fundamentales sobre lo que se puede
calcular y la cantidad de recursos necesarios para realizar esas Computaciones. “2
“La teoría de la computación se ocupa de determinar qué problemas pueden ser resueltos
computacionalmente y con qué eficiencia. La teoría considera distintos modelos de cómputo, como los
autómatas finitos (que son los más sencillos), las máquinas de Turing (que son las computadoras
usuales de hoy en día) y las computadoras cuánticas (cuyo funcionamiento no es digital). Las lógicas
y los lenguajes formales juegan un rol central en la teoría de la computación porque permiten expresar
propiedades de los programas y razonar sobre su comportamiento. La teoría de la computación
también se encarga de entender el límite entre los problemas computables y los no-computables y,
dentro del mundo de lo computable, clasificarlos de acuerdo a su grado de simpleza o dificultad.
En particular, estudiamos lógicas con buen comportamiento computacional, como las lógicas modales,
tanto desde el punto de vista de la teoría de modelos como desde el de la teoría de prueba. Analizamos
lenguajes eficientes de consultas que permiten razonar sobre distintas estructuras de representación
del conocimiento. A un nivel más abstracto, investigamos las propiedades teóricas de los sistemas de
reescritura y los modelos de cómputo fuertes, como el cálculo lambda. A la inversa, estudiamos
modelos de cómputo débiles, como los autómatas finitos y sus numerosas variantes. Nos ocupamos
también de la noción de aleatoriedad en relación a los distintos modelos de cómputo y a los grados
de dificultad de los problemas. Por último, introducimos nociones provenientes de la teoría de
funciones computables y de la teoría de la aleatoriedad en el procesamiento cuántico de la información
y en algunos modelos computacionales que intentan explicar ciertas características de la cognición
humana.”3
Bibliografía
1.- Ahumada, N. (s. f.). Teoría de la Computación. Teoría de la computación. Recuperado 28 de agosto de
2022, de https://imc.uc.cl/noticias/11-investigacion/10-teoria-de-la-computacion
2.- Rosas, O. (2017, 8 febrero). Teoría Computacional: Introducción. Compilando Conocimiento. Recuperado
28 de agosto de 2022, de
https://compilandoconocimiento.com/2017/01/29/teoria/#:%7E:text=La%20Teor%C3%ADa%20comput
acional%20es%20matem%C3%A1tica,entendimiento%2C%20proporcionar%20metodolog%C3%ADas
%20m%C3%A1s%20eficientes.
3.- Teoría de la Computación. (s. f.). ICC - Instituto de Ciencias de la Computación. Recuperado 28 de agosto
de 2022, de https://icc.fcen.uba.ar/teoria-de-la-computacion/

Tarea 1-OVD

Cargado por

Copyright:

Formatos disponibles

Tarea 1-OVD

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tarea 1-OVD

Cargado por

Copyright:

Formatos disponibles

Instituto Politécnico Nacional

Olmos Verdin Diego

“Su objetivo es comprender la naturaleza de la computación y, como consecuencia de este

También podría gustarte