- Teora Computacional Ensayo.

Augusto Ignacio Hernandez Ruiz

2/4/16

Teora Computacional | 2CM10

Teora Computacional - | Augusto Ignacio Hernandez Ruiz

Introduccin
La Teora Computacional tiene y ha tenido desde mucho tiempo atrs, una
importancia innegable, ya que fue la rama de estudios con la cual, se origin la primera
computadora (o mquina de Turing) y por ende todas las ciencias computacionales que
tanta importancia tienen en la actualidad.
En este ensayo se hablar sobre el origen y el motivo por el cual surgi la Teora
Computacional, as como de igual forma, las reas que estudia, los cientficos que han
aportado significativamente conocimientos a esta rea y los desarrollos tecnolgicos
actuales que se han desarrollado gracias a ella.
Finalmente se concluir con una reflexin sobre que significa la Teora
Computacional para el autor, y se dar una breve resea de los temas que mayor inters
personal generan al mismo.

Cmo y porque surge la Teora Computacional?

La Teora Computacional surge desde antes de que surgieran las computadoras
electrnicas, principalmente nace de los trabajos de varios cientficos como Friedrich
Ludwing Frege, Bertrand Russell, David Hilbert y Alan Turing (llamado padre de la
Informtica), los cuales en su bsqueda por resolver problemas que estaban pendientes de
resolver, llegaron a descubrir mtodos para toma de decisiones que condujeron al origen
de esta rama de estudios.

Qu reas estudia?
La Teora Computacional tiene principalmente 2 sub ramas de estudio que son:

Teora de Autmatas
o Se encarga del estudio de dispositivos o mquinas de cmputo abstractas,
teniendo como objetivo la construccin de sistemas computacionales ms
elegantes y sencillos.

Teora de los Lenguajes Formales

o Se encarga de estudiar unas entidades matemticas abstractas denominadas
lenguajes. Un lenguaje formal es un conjunto finito o infinito de cadenas
definidas sobre un alfabeto finito.

Teora Computacional - | Augusto Ignacio Hernandez Ruiz

Qu cientficos han aportado significativamente a la Teora

Computacional?
A lo largo de la historia notables cientficos se han encargado de ir aumentando la
base de conocimientos de la Teora Computacional, a continuacin se listarn los ms
importantes as como su aporte.

Bertrand Russell: Entre 1910 1923 elabora el "Principia Matemtica"

presentando la relacin entre la lgica y la matemtica pura

David Hilbert: En 1928 presenta a sus colegas como un reto intentar demostrar
tres proposiciones:
o Las matemticas son completas
o Las matemticas son consistentes
o Las matemticas son decindibles

Ackermann: En 1928 este matemtico presenta de igual forma el problema de la

decisin en un estudio sobre la lgica de primer orden

Kurt Gdel: En 1930 prueba que las matemticas no pueden ser completas y
consistentes al mismo tiempo (Teorema de la Incompletitud)

Alonzo Church: En 1936 refuta el tercer teorema propuesto por Hilbert, el

Teorema Decisorio)

Alan Turing: En 1936 da de igual forma una respuesta negativa al teorema de

Hilbert, pero con una demostracin con resultados ms consistentes usando
principios completamente bsicos y elementales. Dio una nocin completa del
concepto de algoritmo, como aquello que puede ser realizado por una mquina
abstracta (La Mquina de Turing)

S. Cook: En 1969 extiende los resultados del trabajo de Turing, separando los
problemas que pueden ser solucionados de aquellos que pueden ser solucionados
pero que consumen demasiados recursos

Claude Shannon: En 1937 presenta como tesis de su licenciatura en el MIT, un

trabajo en el cual establece el paralelismo entre la lgica de Boole y los circuitos de
transmisin.

Teora Computacional - | Augusto Ignacio Hernandez Ruiz

McCulloch-Pitts: En 1943 desarroll unas mquinas simples, que en cuanto a su

funcionamiento fueron conocidas como Autmatas Finitos de Actividad Nerviosa
los cuales modelaban la actividad de una neurona.

Moore: En 1959 public el primer estudio riguroso sobre autmatas. En los aos
60s es cuando ms estudios y trabajos sobre los autmatas finitos son realizados.

N. Chomsky: En 1956, comienza el estudio formal de las gramticas, formalizando

matemticamente los conceptos de gramtica generativa, enuncia la Teora sobre
el origen y la naturaleza de los lenguajes naturales.

Por qu es importante la Teora Computacional?

La Teora Computacional es importante actualmente ya que diversas ciencias se
apoyan en ella para poder seguir creando y aumentando los conocimientos que se tienen
hasta la fecha de cada una de ellas.
Ejemplos de ciencias que se relacionan con la Teora Computacional son:

Matemticas Discretas
Estructuras de Computadoras
Programacin Orientada a Objetos
Inteligencia Artificial
Desarrollo de sistemas
Procesadores de Lenguajes

Qu desarrollos tecnolgicos actuales son ejemplos de la Teora

Computacional?
Algunos de los desarrollos tecnolgicos en los cuales la Teora Computacional ha
tenido un papel importante para su realizacin son de reas del conocimiento muy
variadas, pero teniendo como comn el uso de las teoras base mencionadas
anteriormente, por ejemplo:

Videojuegos
o Comportamientos de Personajes
Compiladores y procesamiento de lenguaje natural
Implementacin de Protocolos Robustos
Criptografa Moderna

Teora Computacional - | Augusto Ignacio Hernandez Ruiz

Conclusiones
Para mi punto de vista la Teora Computacional es una rama de estudios nueva, pero
que parece tener diversas ramas muy interesantes, tanto para la investigacin como para
la aplicacin de los conocimientos en mbitos prcticos, me agrada mucho la forma en la
que no se cierra a solo poder tener injerencia en su misma rea, si no que al contrario puede
intervenir en muchas y muy diversas reas de conocimiento ampliando a su vez los saberes
y aplicaciones previas que dichas reas tienen.

Mi objetivo en el curso de Teora Computacional es primordialmente entender que

es la materia, poder aprender los conocimientos que el profesor nos imparta y aplicarlos en
algn proyecto, ya sea en este semestre o ya para mi Trabajo Terminal, espero que las cosas
que aprenda en la materia me ayuden a desempearme mejor acadmicamente en alguna
otra Unidad de Aprendizaje y ms a futuro en el campo laboral

Bibliografa
http://www.uhu.es/francisco.moreno/talf/docs/tema1.pdf
http://ocw.uc3m.es/ingenieria-informatica/teoria-de-automatas-y-lenguajes-formales/materialde-clase-1/tema-i-introduccion
https://ccc.inaoep.mx/~emorales/Cursos/Automatas/Introduccion.pdf
http://webdelprofesor.ula.ve/ingenieria/hyelitza/materias/preteoria/apuntes/tema1.pdf
http://sisbib.unmsm.edu.pe/bibvirtualdata/publicaciones/risi/n1_2004/a14.pdf
https://ddd.uab.cat/pub/llibres/2014/116304/teolenfor_a2014p1iSPA.pdf