Introducción a LFyA 2016-I

1. ¿Qué es computación?
ComputerScienceisnomoreaboutcomputersthanastronomyisabouttelescopes—
EdsgerW.Dijkstra
Ivan Meza

2. ¿Qué es una computadora?

3. i see computers

4. ¿Qué es una computadora?
(discutir)

5. ¿Qué hace una computadora?

6. ¿Qué hace una computadora?
(discutir)

7. La respuesta
Lenguajes Formales y
Autómatas

8. LFyA
Una marco teórico matemático-computacional

9. Lenguajes

10. Gramática

11. Máquinas

12. Jerarquía de Chomsky
Lenguaje Gramática Máquina
Recursivamente
enumerable
Tipo 0 Máquina de Turing
Dependiente de contexto Tipo 1 Autómata con doble
pila
Independiente de contexto Tipo 2 Autómata con pila
Regular Tipo 3 Autómata finito

13. Jerarquía de Chomsky
regular
independiente del
contexto
dependiente del
contexto
recursivamente enumerable

14. Héroes

15. Noam Chomsky

16. Alan M. Turing

17. Stephen C. Kleene

18. Alonzo Church

19. ¿Qué es lo que no hace una
computadora?

20. Paradoja de Rusell

21. ivanvladimir@gmail.com ivanvladimir.github.io ivanvladimir
¿Qué es un computadora? by is licensed under a
.
Creado a partir de la obra en
.
Ivan V. Meza Ruiz
Creative Commons Reconocimiento 4.0 Internacional License
http://turing.iimas.unam.mx/~ivanvladimir/slides/lfya/intro.html