UNIVERSIDAD MAYOR DE SAN ANDRÉS

FACULTAD DE CIENCIAS PURAS Y NATURALES

CARRERA DE INFORMÁTICA

MATERIA: LENGUAJES FORMALES Y AUTOMATAS

DOCENTE: Lic. DANIEL VALLE
ESTUDIANTE: CONDORI TICONA JHOVANY JORGE 8421052

La Paz-Bolivia
 HISTORIA DE LOS LENGUAJES FORMALES Y AUTOMATAS
1879
Friedrich Ludwig Gottlob Frege, concluyó que la aritmética hacía de la lógica
formal. Indicando que la capacidad de las personas para familiarizarse con los
números está basada en la capacidad analítica y el lenguaje. Basado en esto
publico una ideografía que trata un conjunto de símbolos y sintaxis que creo para
clarificar las relaciones lógicas contenidas en el lenguaje ordinario y lleva el
nombre de Begriffsschrift.
1887
Giuseppe Peano, realizo múltiples publicaciones, entre las cuales aporto la idea de
que es posible poner todas las argumentaciones de la lógica de enunciados y de la
lógica de clases en un lenguaje artificia de signos, interconectándolos por medio
de implicaciones. Asentando así el uso de símbolos para el trabajo actual de
conjuntos.
1900
David Hilbert, establecía y defendía que era viable hallar un único sistema en el
que todas las matemáticas pudieran basarse, usando axiomas y reglas de
inferencia, publico principios de la lógica teórica y problema de la decisión.
1930
Stephen Kleene, contribuyó a los fundamentos de la informática teórica.
Proporcionando métodos para determinar qué problemas son solubles. Generó los
grados de computabilidad, la jerarquía aritmética, los ordinales computables, la
realizabilidad recursiva y la teoria hiperaritética.

1938
Claude E Shannon, matemático y pionero de la computación que realizo múltiples
publicaciones en pro de crear las bases para el reconocimiento de la teoría básica
de información que podrian procesar las máquinas que serían desarrolladas por
los otros pioneros. Otras publicaciones destacadas son, "una teoría matemática de
la comunicación" , "Programando una computadora para jugar al ajedrez " y "
Automata Studies : Annals of Mathematical Studies ".
1945
Grace Murray Hopper, oficial de la marina y precursora de uno de los primeros
gran ordenadores, el Mark I. Y por medio de la creación del Mark I, genero un
manual que permito uno de los más grandes logros generaron el primer lenguaje
compilador para ordenadores y creo el término " bug " para referirse a un error de
programación.
1956
Noham chomsky, da un gran aporte a la lingüística moderna, con la formulación
teórica y el desarrollo del concepto de gramática transformacional y generativa.
creando posteriormente su obra " Three models for the description of language" la
cual se estableció como un concepto central en informática. "una gramática formal
es una estructura matemática , consistente en un conjunto de reglas que definen
la forma de construir todas y cada una de las cadenas de caracteres que componen
un determinado lenguaje".
1959
John Backus , Pionero de la informática reconocido por sus brindar dos grandes
aportes , como lo son la notación que permite describir la sintaxis de un Lenguaje
de programación de alto nivel, conocida como Backus Normal Form y el desarrollar
en conjunto con programadores de IBM el primer Lenguaje de programación de
alto nivel, llamado FORTRAN .
1970
Estephen A cook , científico y matemático que se dedicó a extender el trabajo de
turing, formalizó el concepto de NP - completitud en un artículo ( " La complejidad
de los procedimientos de demostración de teoremas " ) , donde también formuló
el problema de la relación entre las clases de complejidad P y NP .
La industrialización en el uso de los autómatas permitido agregar una gama de
varias nuevas funcionalidades, que han superado el tradicional concepto de
controlador secuencial, para pasar a realizar funciones especializadas como
regulación de procesos continuos, comunicación mediante redes industriales,
incorporar novedosos sistemas de cableado distribuido entre otros.
1980
MAP, se realiza un intento por estandarizar la comunicación con los PLC por medio
del Protocolo de Automatización de Manufactura que genero General Motors en
1962, y posteriormente transferido a la Sociedad de Ingenieros en Manufactura
SME. Su objetivo es proporcionar un estándar común que permita compatibilidad
entre los dispositivos de comunicación que operan en un ambiente de
manufactura pasando a usar una programación simbólica desde un PC, en vez de
terminales dedicadas sólo a ese propósito.