Instituto Tecnolgico de

Pachuca

LENGUAJES Y AUTOMATAS 1
Cuadro comparativo de personajes
importantes en la teora de autmatas
INGENIERA EN SISTEMAS COMPUTACIONALES
Villarreal Soto Giovany
No. De control: 13200569

Profesor: Ing. Arturo Cern

Gonzalez
9/02/2016

Periodo

Leonardo
torres

Shannon

Moore

Chomsky

Backus

1915

1938

1956

1967

1960

Aportaciones

Creaciones

Ocupacin

Pilar

-Construy el primer
aparato de radio
direccin del mundo.
-Formula lo que ser
en adelante una
nueva rama de la
ingeniera, la
automtica.

-El Telekino
-El Ajedrecista

Ingeniero de Caminos, matemtico e

inventor

Autmatas

-Demostr como
el lgebra
booleana se poda
utilizar en el anlisis
y la sntesis de la
conmutacin y de
los circuitos digitales.
-Introdujo la teora
de la informacin.
-Desarroll
la entropa de la
informacin
-Construy circuitos
confiables utilizando
rels menos
confiables
-Dio nombre al
concepto
de Vecindad de
Moore para los
autmatas celulares
-Propuso
la gramtica
generativa

-Teora
matemtica de la
informacin
-Programacin
de computadoras
para el ajedrez

Ingeniero electrnico y
matemtico estadounidense

Autmatas

- Mquina de
estados finitos de
Moore
-Vida artificial

Profesor de matemticas y ciencias de la

computacin

Autmatas

-Jerarqua de
Chomsky

-Ganador del Premio

Turing en 1977 por
sus trabajos en
sistemas de
programacin de
alto nivel

-Lenguaje
FORTRAN
-Notacin de
Backus-Naur

Lingista, filsofo y activista estadounidense. Lenguajes y

Es profesor emrito de lingstica en
Gramticas
el Instituto Tecnolgico de
Massachusetts (MIT)
Cientfico de la computacin
Lenguajes y
Gramticas

Hilbert

Rabin

Cook

Turing

1918

1960

1972

1930

-Su paradoja del

Grand Hotel, una
meditacin sobre las
extraas
propiedades del
infinito

-Propuso que las

mquinas no
determinsticas se
han convertido en un
concepto clave en la
teora de
la complejidad
computacional,
particularmente para
describir las clases
de complejidad
-Ha hecho
importantes
contribuciones a los
campos de la teora
de la complejidad y
la complejidad de la
prueba
-Su trabajo ha tenido
un impacto decisivo
en todos aquellos
campos en los que
los clculos
complejos son de
vital importancia
-Proporcion una
influyente
formalizacin de los
conceptos
de algoritmo y
computacin

-Teora de
invariantes
La axiomatizacin
de la geometra
-La nocin
de espacio de
Hilbert
-Test de
primalidad de
Miller-Rabin
-Algoritmo de
bsqueda de
cadenas RabinKarp
-Criptosistema
Rabin

Matemtico

Computabilidad

Cientfico de la computacin y ganador

del Premio Turing

Computabilidad

-Formaliz el
concepto de NPcompletitud

Cientfico informtico y matemtico

Computabilidad

-Mquina de
Turing
-Test de Turing

Matemtico, lgico, cientfico de la

computacin, criptgrafo

Computabilidad

CONCLUSIONES
Haciendo el anterior cuadro comparativo pude notar que a lo largo de la historia muchos
personajes que estudiaban distintas reas contribuyeron para la concepcin de una teora
concerniente a autmatas, algunos fueron pioneros de la creacin de una computadora y as
mismo otros ayudaron a desarrollar software que hoy en la actualidad fue base para desarrollar
lenguajes, reglas de sintaxis, semnticas, etc.
En fin, aunque aqu se describen unos pocos hay muchos seres emblemticos que tambin
aportaron ideas o proyectos para la resolucin de problemas del rea computacional y gracias a
ellos hoy contamos con una tecnologa bastante sofisticada.
Pero de los grandes investigadores anterior mente mencionados encontramos muchos inventos o
descubrimientos que todos en la vida diaria nos encontramos, decidimos clasificarlos en 3 grandes
ramas de las que se deriva la Teora de Autmatas: Autmatas, Computabilidad y Lenguajes y
Gramticas.
Por ltimo, quiero recalcar que en la actualidad se siguen haciendo estudios y aportaciones a esta
teora por diversos investigadores expertos en las diferentes reas, que buscan encontrar solucin
a problemas que an quedan sin respuesta y tal vez algn da encuentren la forma de resolverlos y
as nosotros podremos disfrutar de una nueva gama de productos o servicios de mejor calidad en
un futuro no tan lejano.

REFERENCIAS

https://es.wikipedia.org/wiki/Leonardo_Torres_Quevedo#Obra
https://es.wikipedia.org/wiki/Edward_F._Moore
https://es.wikipedia.org/wiki/Claude_Elwood_Shannon
https://es.wikipedia.org/wiki/Noam_Chomsky
https://es.wikipedia.org/wiki/John_Backus
https://es.wikipedia.org/wiki/Michael_Oser_Rabin
https://es.wikipedia.org/wiki/David_Hilbert
https://es.wikipedia.org/wiki/Stephen_Cook
https://es.wikipedia.org/wiki/Alan_Turing