Automatas
by Perla Lopez
1. Church Turing
1.1. Uso la notación de funcion definible efectivamente calculable
2. Coldeh
2.1. Función conjunto de ecuaciones e incluye símbolos para funciones previamente definidas
3. Turing
3.1. Señaló éxito en caracterizar sus máquinas la clase de las funciones calculables mediante un algoritmo
4. ACM
4.1. Asocion computina machinerg
5. Pruebas computables
5.1. Problemas eficientemente computables
5.2. Problemas intratables
6. Backus
6.1. Desarolla una notación formal para describir la sintaxis de algunos lenguajes de programación
7. Nuevo Tema
8. Informática
8.1. Conjunto de teorías y técnicas científicas en el diseño y el uso de ordenador
9. Ciencia computacional
9.1. Cuerpo de conocimiento cuyo principal objetivo es la resolución de problemas por medio de un ordenador
10. Norman e gibbs
10.1. el objetivo de las ciencias de la computación no sea la construcción de programas sino el estudio de los algoritmos y estructuras de datos
11. David Hilbert 1862-1943
11.1. Todo problema matemático bien definido debe ser necesariamente susceptible de un planteamiento exacto de la imposibilidad de resolverlo
12. Red neuronal artificial
12.1. Lo qué pretende es emular el cerebro biológico con máquina
13. Harmanis amh r.f
13.1. Introduce la noción de medida complejidad definida como el tiempo de computación sobre la máquina turing
14. Neuman 1948
14.1. Introduce el temario de teoría de autómatas
15. Rabm y scotf
15.1. Obtiene en modelo de computador con una cantidad finita de memoria al que llamarán autómata de estado finitos