Instituto Politcnico Nacional

Escuela Superior de Cmputo

Teora de la computacin
Trejo Granados Yahir

2CM3

Teora computacional
La teora computacional es uno de los avances ms grandes que ha visto el hombre en tiempos
recientes, ya que de ella se derivan la mayor parte de las herramientas que utilizamos para
facilitar muchas de las tereas que realizamos da a da, desde nuestro reproductor de msica
hasta complejsimas redes neuronales utilizadas para simular el funcionamiento del cerebro
humano en investigaciones recientes, pasando por el manejo y cifrado de nuestras cuentas
bancarias y las maquinas automatizadas utilizadas para ensamblar nuestros automviles, la
influencia de la teora computacional se encuentra en cualquier objeto automatizado que se
encuentre a nuestro alrededor.
Pero en qu consiste la teora computacional para que su influencia sea tan grande? Como
lo dice el famoso cientfico de la computacin Peter J. Denning, la pregunta fundamental de
las ciencias de la computacin es Qu puede ser eficientemente automatizado?. El estudio
de la teora computacional est enfocado en responder preguntas fundamentales acerca de
que puede ser computado y que cantidad de recursos son requeridos para ejecutar tales
cmputos. Las reas ms predominantes que se derivan de la teora computacional son:
La teora de autmatas, esta teora provee modelos matemticos que formalizan el concepto
de computadora o algoritmo de manera suficientemente simplificada y general para que se
puedan analizar sus capacidades y limitaciones. Algunos de estos modelos juegan un papel
central en varias aplicaciones de las ciencias de la computacin, incluyendo procesamiento
de texto, compiladores, diseo de hardware e inteligencia artificial.
La Teora de la computabilidad es la parte de la computacin que estudia los problemas de
decisin que pueden ser resueltos con un algoritmo o equivalentemente con una mquina de
Turing. La teora de la computabilidad se interesa por cuatro preguntas:

1.

Qu problemas puede resolver una mquina de Turing1?

Qu otros formalismos equivalen a las mquinas de Turing?

Qu problemas requieren mquinas ms poderosas?

Qu problemas requieren mquinas menos poderosas?

Son las mquinas computacionales ms potentes. Poseen una memoria infinita en forma de cinta, as como un cabezal que puede leer
y cambiar esta cinta, y moverse en cualquier direccin a lo largo de la cinta.

El origen de los modelos abstractos de computacin se encuadra en los aos '30, para el
trabajo de los lgicos Alonzo Church, Kurt Gdel, Stephen Kleene, Emil Leon Post, y Alan
Turing. Estos trabajos iniciales han tenido una profunda influencia, tanto en el desarrollo
terico como en abundantes aspectos de la prctica de la computacin; previendo incluso la
existencia de ordenadores de propsito general, la posibilidad de interpretar programas, la
dualidad entre software y hardware, y la representacin de lenguajes por estructuras formales
basados en reglas de produccin.
La Teora de la Complejidad Computacional es una rama de la teora de la computacin
que se centra en la clasificacin de los problemas computacionales de acuerdo a su dificultad
inherente, y en la relacin entre dichas clases de complejidad.
Uno de los fines de la teora de la complejidad computacional es determinar los lmites
prcticos de qu es lo que se puede hacer en una computadora y qu no.
La criptografa actualmente se encarga del estudio de los algoritmos, protocolos y sistemas
que se utilizan para dotar de seguridad a las comunicaciones, a la informacin y a las
entidades que se comunican. El objetivo de la criptografa es disear, implementar, implantar,
y hacer uso de sistemas criptogrficos para dotar de alguna forma de seguridad.
La computacin cuntica es un paradigma de computacin distinto al de la computacin
clsica. Se basa en el uso de qubits en lugar de bits, y da lugar a nuevas puertas lgicas que
hacen posible nuevos algoritmos, lo que ha dado lugar a una gran expectacin, ya que algunos
problemas intratables pasan a ser tratables.
Como podemos ver, el conjunto de todas las reas anteriormente mencionadas abarca
prcticamente todas aquellas tecnologas que utilizamos en la actualidad, desde la
comunicacin, transferencias bancarias y nuestra propia productividad hasta la investigacin,
manejo de informacin altamente valiosa y solucin de problemas extremadamente
complejos (al punto de ser imposibles de resolver sin esta tecnologa).
Es por esto que me encuentro extremadamente interesado en algunos de los temas que se
derivan de la teora computacional como son la computacin cuntica, los autmatas y las
redes neuronales, ya que estos nos facilitan e incluso resuelven una gran cantidad de
problemas presentes en la actualidad.

Mi objetivo como estudiante en el curso de Teora computacional es llegar a dominar alguna

o muchas de estas reas, as como mi habilidad de anlisis y sntesis de problemas, para as
ser capaz de aplicar mis habilidades y conocimientos a la resolucin de problemas
relacionados a mi rea de estudios.

Bibliografa:

https://es.wikipedia.org/wiki/Ciencias_de_la_computacin

http://web.archive.org/web/20060525195404/http://www.idi.ntnu.no/emner/dif8916
/denning.pdf