Modelos de Computación I

Transcripción

1 Modelos de Computación I Serafín Moral Departamento de Ciencias de la Computación Despacho 4.4 Modelos de Computación I p. 1

2 Horarios - Grupo A CLASES (Teoría) (Aula 0.1, Lorenzo Morillas) Martes Jueves Modelos de Computación I p. 2

3 Horarios - Grupo A CLASES (Teoría) (Aula 0.1, Lorenzo Morillas) Martes Jueves CLASES (Prácticas) Subgrupo 1. Lunes (Aula 2.7) Subgrupo 2. Lunes (Aula 2.7) Profesor de prácticas por asignar a la asignatura. Modelos de Computación I p. 2

4 Horarios - Grupo A CLASES (Teoría) (Aula 0.1, Lorenzo Morillas) Martes Jueves CLASES (Prácticas) Subgrupo 1. Lunes (Aula 2.7) Subgrupo 2. Lunes (Aula 2.7) Profesor de prácticas por asignar a la asignatura. TUTORÍAS (Despacho 4.4) Miércoles 9:30-13:30 Viernes 11:00-13:00 Modelos de Computación I p. 2

5 Tres Asignaturas Modelos de Computación I Troncal. Primer Cuatrimestre - Segundo Curso (3+1.5) Modelos de Computación II Troncal. Segundo Cuatrimestre - Segundo Curso ( ) Modelos de Informática Teórica Optativa. Segundo Cuatrimestre - Tercer Curso ( ) Modelos de Computación I p. 3

6 Modelos de Computación I Objetivo básico: Las estructuras matemáticas básicas para la computación con símbolos y palabras. Modelos de Computación I p. 4

7 Modelos de Computación I Objetivo básico: Las estructuras matemáticas básicas para la computación con símbolos y palabras. Veremos Gramáticas y Autómatas. Modelos de Computación I p. 4

8 Modelos de Computación I Objetivo básico: Las estructuras matemáticas básicas para la computación con símbolos y palabras. Veremos Gramáticas y Autómatas. Son esenciales en muchas tareas, sobre todo en la compilación, pero también en otras como el reconocimiento de patrones o la descripción de tipos de datos complejos. Modelos de Computación I p. 4

9 Bibliografía title = {A Computational Model for Causal and Diagnostic Reasoning in Inference Systems}, booktitle = {Proceedings of the 8th IJCAI Conference (IJCAI 83)}, author = {J. Kim and J. Pearl}, year = {1983}, address = {Karlsruje}, pages = { }} Modelos de Computación I p. 5

10 Bibliografía author = {J. Pearl}, title={fusion, Propagation and Structuring in Belief Networks}, journal = {Artificial Intelligence}, year = 1986, volume = 29, pages = { } } Modelos de Computación I p. 6

11 Estilo Matemático El estudio se hace desde un punto de vista matemático por distintos motivos: Históricamente se desarrolló de esta forma. La formalización y la abstracción son básicas para comprender problemas complejos. Las Matemáticas proporcionan herramientas básicas para la formalización. Comprender la metodología matemática para abordar un problema es esencial para un informático. Las matemáticas proporcionan: sencillez y precisión. Evitaremos una formalización excesiva. Trataremos de ser precisos, pero evitando un tratamiento excesivamente abstracto que dificulte la comprensión. Modelos de Computación I p. 7

12 Temario Tema 1 Introducción a la Computación Conceptos Elementales Modelos de Cálculo La noción de Gramática Generativa Operaciones con Lenguajes Tema 2 Autómatas Finitos y Expresiones Regulares Autómatas Finitos Deterministas Autómatas No-Deterministas Expresiones Regulares Gramáticas Regulares Modelos de Computación I p. 8

13 Temario Tema 3 Propiedades de los Conjuntos Regulares Lema de Bombeo y Aplicaciones Algoritmos para Conjuntos Regulares Minimización de Autómatas Tema 4 Gramáticas Libres del Contexto Arboles de Derivación. Ambigüedad Simplificación de Gramáticas Formas Normales Modelos de Computación I p. 9

14 Temario Tema 5 Autómatas con Pila Definiciones Autómatas con Pila y Lenguajes Libres del Contexto Autómatas con Pila Deterministas Tema 6 Propiedades de los Lenguajes Independientes del Contexto Lema de Bombeo Propiedades de Clausura Algoritmos Modelos de Computación I p. 10

15 Prácticas Relaciones de problemas. Disponibles en la dirección: smc/docencia/mci.html Se desarrollarán en clases de problemas que se resuelven en pizarra. Práctica de lex (construcción de programas en C a partir de expresiones regulares) Aula de ordenadores. Procesador de gramáticas Aula de ordenadores. Modelos de Computación I p. 11

16 Material Docente En la dirección: smc/docencia/mci.html Apuntes de la Asignatura.- No están actualizados. Para ser usados como material de apoyo, pero no como guía de la asignatura. Algunos temas se actualizarán a lo largo del curso. Transparencias.- Se ajustan más al contenido de la asignatura. Se actualizarán a lo largo del curso. Relaciones de Problemas.- Incluyen todas las preguntas de examen de los último años. Preguntas Tipo Test.- Todas las preguntas que se han puesto en exámenes. Enlaces.- Programas para prácticas y otros. Modelos de Computación I p. 12

17 BIBLIOGRAFÍA M. Alfonseca, J. Sancho. M. Martínez, Teoría de Autómatas y Lenguajes Formales. Publicaciones R.A.E.C., Textos Cátedra (1997). J.G. Brookshear, Teoría de la Computación. Lenguajes formales, autómatas y complejidad. Addison Wesley Iberoamericana (1993). J. Carrol, D. Long, Theory of Finite Automata with an Introduction to Formal Languages. Prentice Hall (1989) M. Harrison, Introduction to Formal Language Theory. Addison-Wesley (1978) Modelos de Computación I p. 13

18 Bibliografía (Cont.) J.E. Hopcroft, J.D. Ullman, Introduction to Automata Theory, Languages and Computation. Addison-Wesley (1979) J.E. Hopcroft, R. Motwani, J.D. Ullman, Introducción a la Teoría de Autómatas, Lenguajes y Programación, 2 a Ed. Addison Wesley (2002) (referencia básica) D. Kelley, Teoría de Autómatas y Lenguajes Formales. Prentice Hall, Madrid (1995) G.E. Revesz, Introduction to Formal Languages. Dover Publications, Nueva York (1991) Modelos de Computación I p. 14

19 MÉTODO DE EVALUACIÓN Examen Final de la Asignatura (80 %) Preguntas tipo test Problemas Prácticas (20 %) Modelos de Computación I p. 15