Autómatas y lenguajes formales

By licedrr
  • Fundamentos de la aritmetica

    Fundamentos de la aritmetica

    Friedrich Ludwig Gottlob Frege (1848 - 1925)
  • El problema de la decisión

    El problema de la decisión

    David Hilbert (1862 - 1943)- Metodo general para decidir si una formula logica es verdadera o falsa
  • Teorema de Gödel

    Teorema de Gödel

    Kurt Gödel (1906 - 1978) - Toda formulación axiomatica consite en la teoria de números contiene propocisiones indecidibles.
  • Maquina de Turing

    Maquina de Turing

    Alan Mathison Turing (1912 - 1953) - Padre de la computabilidad
  • Circuitos combinados y secuenciales

    Circuitos combinados y secuenciales

    Claude Elwood Shannon (1916 - 2001) - Logíca matemática para el ánalisis de los circuitos combinados y secuenciales
  • Teoría de las gramáticas transformacionales

    Teoría de las gramáticas transformacionales

    avram noam chomsky (1928 ) - O teoría de lenguajes formales