Aplicaciones de la Teoría Computacional

Teoría Computacional

Aplicaciones y su auge en la tecnología y la ciencia

Alumno: Daniel Luna Chavero
Materia: Teoría Computacional
Profesor: Antonio Gustavo Juárez Gracia

Introducción
En los últimos veinte años se ha logrado un impresionante crecimiento y desarrollo
científico y tecnológico, gracias a ello hoy conocemos grandes tecnologías como los
teléfonos inteligentes, elinternet, aplicaciones medicas con la medicina nano lógica, la
electro medicina, la microbiología y un sin fin de aplicaciones en todos los ámbitos.
Uno de ellos es el que ha tenido gran evolución en tan poco tiempo: la computación y la
informática.
La computación ha sido una de las ciencias más desarrolladas en los últimos 20 años,
puesto que se han encontrado muchas formas de resolver problemasde la vida cotidiana
y es así como nace la teoría de la computación mediante modelos matemáticos que
proporcionan una salida previa a cómputos de forma automática en una entrada, también
sirvió para establecer lenguajes formales que proporcionan una potencial herramienta
para construir sistemas operativos para las computadoras o incluso a los robots.
Este trabajo está diseñado para mostrar laaplicación de la teoría computacional,
autómatas y lenguajes formales en la vida cotidiana. Cabe señalar que es importante
reconocer el auge de la teoría de la computación debido a que con el creciente desarrollo
tecnológico es posible dañar y alterar el entorno en donde nos encontramos, así como
también se pueden lograr adelantos benignos para nosotros mismos.

Objetivo
El objetivo deeste trabajo es profundizar las aplicaciones de la teoría computacional en la
vida cotidiana, además de mostrar si en realidad nos afectan este tipo de adelantos
tecnológicos o realmente es algo que nos llevara a una mejor calidad de vida.

Desarrollo
Primero hablaremos acerca de la historia de la teoría computacional pura, además
mencionaremos los puntos más importantes que propiciaron agrandes adelantos de la
humanidad.
Por allá del año 1907 el matemático ruso Andrei Markov formalizo un proceso
denominado "la cadena de markov" el cual la activación de un estado depende del estado
anterior, es algo semejante a la acción de "recordar".

Posteriormente, en 1943, surge una primera aproximación formal de los autómatas finitos
con el modelo neuronal de McCulloch-Pitts. Durante ladécada de 1950 prolifera su
estudio, frecuentemente llamándoseles máquinas de secuencia; se establecen muchas de
sus propiedades básicas, incluyendo su interpretación como lenguajes regulares y su
equivalencia con las expresiones regulares.

Al final de esta década, en 1959, surge el concepto de autómata finito no determinista en
manos de los informáticos teóricos Michael O. Rabin y DanaScott.
Noam Chomsky estableció en 1959 la equivalencia entre las gramáticas de tipo 0 y las
Máquinas de Turing.

En la década de 1960 se establece su conexión con las series de potencias y los sistemas
de sobre escritura. Finalmente, con el desarrollo del sistema operativo Unix en la década
de 1970, los autómatas finitos encuentran su nicho en el uso masivo de expresiones
regulares parafines prácticos, específicamente en el diseño de analizadores léxicos y la
búsqueda y reemplazo de texto. A partir de ese tiempo, los autómatas finitos también se
comienzan a utilizar en sistemas dinámicos.
Generalizando en la teoría de la computación existen 3 maquinas abstractas:




Autómatas
Autómatas con pila
Maquina de Turing

Ahora bien, se ha visto un poco de la historia de laciencia de la computación, ahora
veamos la aplicación en la vida cotidiana.

Una de las principales que tiene la teoría computacional es en la programación.
Compiladores
Un compilador es un programa informático que traduce un programa escrito en
un lenguaje de programación a otro lenguaje de programación, generando un programa
equivalente que la máquina será capaz de interpretar. Aquí la...