Modelos de Computacin I

Serafn Moral Departamento de Ciencias de la Computacin Despacho 4.4

Modelos de Computacin I p.

Horarios - Grupo A
CLASES (Teora) (Aula 0.1, Lorenzo Morillas) Martes 12-14 Jueves 12-13

Modelos de Computacin I p.

Horarios - Grupo A
CLASES (Teora) (Aula 0.1, Lorenzo Morillas) Martes 12-14 Jueves 12-13 CLASES (Prcticas) Subgrupo 1. Lunes 13-14 (Aula 2.7) Subgrupo 2. Lunes 14-15 (Aula 2.7) Profesor de prcticas por asignar a la asignatura.

Modelos de Computacin I p.

Horarios - Grupo A
CLASES (Teora) (Aula 0.1, Lorenzo Morillas) Martes 12-14 Jueves 12-13 CLASES (Prcticas) Subgrupo 1. Lunes 13-14 (Aula 2.7) Subgrupo 2. Lunes 14-15 (Aula 2.7) Profesor de prcticas por asignar a la asignatura. TUTORAS (Despacho 4.4) Mircoles 9:30-13:30 Viernes 11:00-13:00
Modelos de Computacin I p.

Tres Asignaturas
Modelos de Computacin I Troncal. Primer Cuatrimestre - Segundo Curso (3+1.5) Modelos de Computacin II Troncal. Segundo Cuatrimestre - Segundo Curso (4.5+1.5) Modelos de Informtica Terica Optativa. Segundo Cuatrimestre - Tercer Curso (4.5+1.5)

Modelos de Computacin I p.

Modelos de Computacin I
Objetivo bsico: Las estructuras matemticas bsicas para la computacin con smbolos y palabras.

Modelos de Computacin I p.

Modelos de Computacin I
Objetivo bsico: Las estructuras matemticas bsicas para la computacin con smbolos y palabras. Veremos Gramticas y Autmatas.

Modelos de Computacin I p.

Modelos de Computacin I
Objetivo bsico: Las estructuras matemticas bsicas para la computacin con smbolos y palabras. Veremos Gramticas y Autmatas. Son esenciales en muchas tareas, sobre todo en la compilacin, pero tambin en otras como el reconocimiento de patrones o la descripcin de tipos de datos complejos.

Modelos de Computacin I p.

Bibliografa BibTex
@inproceedings{kipe83, 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 = {190203}}

Modelos de Computacin I p.

Bibliografa BibTex
@article{pe86, author = {J. Pearl}, title={Fusion, Propagation and Structuring in Belief Networks}, journal = {Articial Intelligence}, year = 1986, volume = 29, pages = {241288} }

Modelos de Computacin I p.

Estilo Matemtico
El estudio se hace desde un punto de vista matemtico por distintos motivos: Histricamente se desarroll de esta forma. La formalizacin y la abstraccin son bsicas para comprender problemas complejos. Las Matemticas proporcionan herramientas bsicas para la formalizacin. Comprender la metodologa matemtica para abordar un problema es esencial para un informtico. Las matemticas proporcionan: sencillez y precisin. Evitaremos una formalizacin excesiva. Trataremos de ser precisos, pero evitando un tratamiento excesivamente abstracto que diculte la comprensin.

Modelos de Computacin I p.

Temario
Tema 1 Introduccin a la Computacin
Conceptos Elementales Modelos de Clculo La nocin de Gramtica Generativa Operaciones con Lenguajes

Tema 2 Autmatas Finitos y Expresiones Regulares

Autmatas Finitos Deterministas Autmatas No-Deterministas Expresiones Regulares Gramticas Regulares

Modelos de Computacin I p.

Temario
Tema 3 Propiedades de los Conjuntos Regulares
Lema de Bombeo y Aplicaciones Algoritmos para Conjuntos Regulares Minimizacin de Autmatas

Tema 4 Gramticas Libres del Contexto

Arboles de Derivacin. Ambigedad Simplicacin de Gramticas Formas Normales

Modelos de Computacin I p.

Temario
Tema 5 Autmatas con Pila
Deniciones Autmatas con Pila y Lenguajes Libres del Contexto Autmatas con Pila Deterministas

Tema 6 Propiedades de los Lenguajes Independientes del Contexto

Lema de Bombeo Propiedades de Clausura Algoritmos

Modelos de Computacin I p. 1

Prcticas
Relaciones de problemas. Disponibles en la direccin: http://decsai.ugr.es/smc/docencia/mci.html Se desarrollarn en clases de problemas que se resuelven en pizarra. Prctica de lex (construccin de programas en C a partir de expresiones regulares) Aula de ordenadores. Procesador de gramticas Aula de ordenadores.

Modelos de Computacin I p. 1

Material Docente
En la direccin: http://decsai.ugr.es/smc/docencia/mci.html

Apuntes de la Asignatura.- No estn actualizados. Para

ser usados como material de apoyo, pero no como gua de la asignatura. Algunos temas se actualizarn a lo largo del curso.

Transparencias.- Se ajustan ms al contenido de la

asignatura. Se actualizarn a lo largo del curso.

Relaciones de Problemas.- Incluyen todas las

preguntas de examen de los ltimo aos.

Preguntas Tipo Test.- Todas las preguntas que se han

puesto en exmenes.

Enlaces.- Programas para prcticas y otros.

Modelos de Computacin I p. 1

BIBLIOGRAFA
M. Alfonseca, J. Sancho. M. Martnez, Teora de Autmatas y Lenguajes Formales. Publicaciones R.A.E.C., Textos Ctedra (1997). J.G. Brookshear, Teora de la Computacin. Lenguajes formales, autmatas 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 Computacin I p. 1

Bibliografa (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, Introduccin a la Teora de Autmatas, Lenguajes y Programacin, 2a Ed. Addison Wesley (2002) (referencia bsica) D. Kelley, Teora de Autmatas y Lenguajes Formales. Prentice Hall, Madrid (1995) G.E. Revesz, Introduction to Formal Languages. Dover Publications, Nueva York (1991)

Modelos de Computacin I p. 1

MTODO DE EVALUACIN
Examen Final de la Asignatura (80 %) Preguntas tipo test Problemas Prcticas (20 %)

Modelos de Computacin I p. 1