AUTOMATAS Y LENGUAJES FORMALES

EXPLORAR

PRESENTADO POR:

EDUIN YAMITH MARTINEZ PEA

CC: 1.057.412.579

TUTORA:

EDGAR ANTONIO CORTES

UNIVIRSIDAD NACIONAL ABIERTA Y A DISTANCIA-UNAD

ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA

02/SEPTIEMBRE/2017
 DESARROLLO DE LA ACTIVIDAD

Evolucin de los autmatas y lenguajes formales

1879 1908 1910-1913 1928

En el campo de lgica Giuseppe Peano publico Bertrand Rusell y David Hilbert

matemtica Friedrich la ltima edicin del Alfred North publica principios
Ludwig publico la proyecto Formulario escriben y publican de lgica teorica.
conceptografia donde
para el campo de estudio el principia
desarrollo la lgica de
primer orden con los de las matemticas. Mathematica
operadores and, not y or

Evolucin de los autmatas y lenguajes formales

1931 1936 1938-1939

Kurt Godel publico el En el campo de la computabilidad En el campo de la computabilidad Alan

artculo sobre Alan Turing publico el artculo Los Turing y Alonzo Church publican la tesis:
proposiciones nmeros computables, con una Cualquier modelo computacional
formalmente indicidibles aplicacin al existente tiene las mismas capacidades
de Principia Entscheidungsproblem. algortmicas, o un subconjunto de las que
Matehematica y sistemas Nacimiento de la informtica tiene la mquina de Turing.
relacionados. terica y las mquinas de Turing.

Evolucin de los autmatas y lenguajes formales

1938 1948 1956

En el campo de la teora de los En el campo de la teora de los En el campo de la teora de los

autmatas Claude Shannon
publica A Symbolic Analysis of
Relay and Switching Circuits.
Aplicacin de la lgica
matemtica a los circuitos
electrnicos.
autmatas Shannon publica autmatas Shannon edita, junto a
Una Teora Matemtica de la McCarthy, Automata Studies,
Comunicacin. Nacimiento de sobre mquinas secuenciales y
la Teora de la Informacin autmatas finitos.
 Evolucin de los autmatas y lenguajes formales

1956 1957 1959

En el campo de la teora de En el campo de la En el campo de la teora de

los autmatas E.F. Moore, lingstica Noam Chomsky
Gedanken experiments on publica Estructuras
sequential machines, en sintcticas en el que aparece
Automata Studies la clasificacin de
. gramticas (Jerarqua de
Chomsky)
.
los autmatas M.O. Rabin
y D. Scott, Finite automata
and their decision problems,
IBM J. Research and
Development.
.

Evolucin de los autmatas y lenguajes formales

1961 1963 1965 1971

En el campo de la teora de En el campo de la En el campo de la En el campo de la

los autmatas A. G. teora de los teora de los autmatas complejidad
autmatas M.P. D.E. Knuth, On the computacional
Oettinger, Automatic
Schutzenberger, On translation of languages Sthepen Cook
syntactic analysis and the
publica The
pushdown store, Proc. context-free languages from left to right,
Complexity of
Symposia on Applied and pushdown Information and
Theorem Proving
Math. automata, Control,
Information and Procedures ,
. Control, . donde define las
clases de
. problemas P,
NP, y NP
completos.
 BIBLIOGRAFIAS

Universidad del Huila. (2017) Ciencias de la computacin e inteligencia artificial.

Disponible en: http://www.uhu.es/francisco.moreno/talf/docs/tema1.pdf