Historia y evolución de la Teoría de Autómatas y Lenguajes Formales

Annotations:

• http://my.examtime.com/es/users/sign_up

1. Unidad de cálculo que intenta moldear el comportamiento de una neurona "natural"
   1. Establecio autómatas finitos equivalentes a células

1. Comienza el estudio formal de las Gramátics (generadoras de lenguaje)
2. Creador de la jerarquia de Chomsky
   1. Clasificación de lenguajes formales en teoría de la computación

1. Investigo el lenguaje Algebraico

1. Lenguaje que permitía escribir fórmulas matemáticas
   1. Traducible en un ordenador

Annotations:

• http://www.twitter.com/SomosExamTime

1. Publicó su revolucionaria obra Conceptografía o escritura de conceptos
2. Fue el primero en distinguir la caracterización formal de las leyes lógicas de su contenido semántico

1. Publicó el artículo "sobre los números calculables"
   1. Desarrollo el teorema de Gödel y puede considerarse el origen de la informática teórica

1. Escribió el primer compilador
   1. Lenguaje de programación A-0

1. Publicó su primer libro sobre lógica matemática
   1. Este libro fue el primero en usar los símbolos modernos para la unión e intersección de conjuntos

1. Fueron conocidas como autómatas finitos
   1. Para moldear el funcionamiento del cerebro

1. Formulo el principio de la no contradicción, un principio clásico de la lógica y la filofofía
2. Padre fundador de la lógica y de la biología

1. Estas máquinas ejecutaban instrucciones consistentes en códigos numéricos
   1. Se denominó lenguaje maquina

1. Aplicó la lógica matemática para el análisis de circuitos combinatorios

1. Aportó al asentamiento de bases de la ciencia de la computación teoríca

1. Primero en utilizar el tipo de máquina de estados finitos

1. Extiende el estudio de Turing