presentacion, Apuntes de Informática

¡Descarga presentacion y más Apuntes en PDF de Informática solo en Docsity!

Teoría de Autómatas yLenguajes Formales^ Presentación de la AsignaturaProf. A. Tomeu

Información General Profesor

: Dr. Antonio Tomeu

Â

Dpto:

Lenguajes y Sistemas Informáticos

Â

Área:

CC. de la Computación e I.A.

Despacho

: Ed. Servicios Generales, 2ª planta

Configuración:

3T+1.5P=2 horas T+1 hora Prácticas

Teoría 1-34 (Lunes,11:00-13:00)Prácticas: INF-II (Viernes, 9:00-11:00, 2 grupos ) Web Oficial: http://es.geocities.com/atomeua3/Talf8.htm Novedades, foro, descargas, FAQ, etc.^ Â

Cronogramas teórico y práctico.

Campus Virtual Disponible: SÍ

Objetivos del Curso Â

Descriptores Gramáticas y LenguajesFormales. Máquinas Secuenciales yAutómatas Finitos. Â

Objetivos:^ Â

Describir un lenguaje por su gramática Â

Conocer la jerarquía gramatical de Chomsky Â

Programar máquinas que reconocen lenguajes Â

Aplicar lo anterior al análisis léxico y sintáctico Â

Obtener el soporte teórico que permita abordar la asignaturade tercer curso “Traductores”.

TEMARIO TEÓRICO

Tema 1: Autómatas Finitos, Expresiones y Gramáticas Regulares

-Gramáticas y Lenguajes. Jerarquía de Chomsky-Gramáticas Regulares. Autómatas Finitos-Bases del Análisis Léxico

Tema 2: Propiedades de los Lenguajes Regulares

-Propiedades Formales de los Lenguajes Regulares

Tema 3: Autómatas de Pila y Lenguajes Libres del Contexto

-Gramáticas Libres del Contexto. Formas Normales-Autómatas a Pila. Parsing.-Bases del Análisis Léxico

Tema 4:

Propiedades de los Lenguajes Libres del Contexto -Propiedades Formales de los Lenguajes Libres del Contexto

30

Total

7

4. Propiedades de los Lenguajes Libres del Contexto

8

3. Autómatas de Pila y Lenguajes Libres del Contexto

7

2. Propiedades de los Lenguajes Regulares

8

1. Autómatas Finitos, Expresiones y Gramáticas Regulares

HORAS

TEMARIO TEÓRICO

TEMPORIZACIÓN

15

Total

10

Prácticas con Simuladores

5

Problemas y Ejercicios resueltos en pizarra

HORAS

TEMARIO PRÁCTICO

Evaluación Â

Examen Final (con apuntes y bibliografía) (EF)

Â

Teórico:Preguntas cortas y problemas. Duración máxima: 3 horas. Â

Práctico: Sobre computador. Duración máxima: 90 minutos. Â

Se permiten apuntes y bibliografía durante 15 minutos para aclaraciones y toma de notas. Resto sin material. Â

Examen práctico NO se corrige si no se supera el teórico.

Â

Prácticas

Â

Ejercicios semanales de r

ealización y entrega obligatorias

Â

Si examen práctico NO APTO y correcto al 30%, las prácticas entregadas durante el curso pueden compensar, si el 70% de lasmismas al menos son APTAS. Â

Algoritmo de Calificación

Â

Si APTO en examen prácticas, NF=NOTA EX. Teórico Â

Si NO APTO en examen de prácticas y/o examen teórico, NF=Suspenso.

Â

Otros

Â

No se guardan partes de la asignatura

Â

A cada convocatoria se acude con el temario completo

Int. a la Teoría de Autómatas, Lenguajes y ComputacióHopcroft, J., Ullman, J. & Motwani, R. Ed. Pearson Educación. Madrid, 2002I.S.B.N.: 84-7829-0506-7^ Teoría de Autómatas y Lenguajes FormalesKelley. D.^ Ed. Prentice Hall. Madrid, 1995I.S.B.N.: 0-13-497777-7 Computability, Complexity and LanguagesDavis, M., Sigal, R. & Weuyker, E. Ed. Academic Press. San Diego, 1994I.S.B.N.: 0-12-

Referencias

Se ruega… Â

Desconexión

de teléfonos móviles al entrar en clase.

Â

Puntualidad

en los horarios de clase.

Â

Entrega en fecha y forma del material que se le solicite.

Â

Respeto a los horarios de tutoría establecidos.

Â

Asistencia

a las actividades programadas de la asignatura.

Y se recomienda…^ Â

Mantenerse informado de las circunstancias de la asignatura.

Â

Dedicar al menos

dos horas

semanales de estudio.

Â

Revisar bibliografía. No se limiten a leer apuntes. Â

Utilizar la tutoría tan a menudo como sea neceario. Â

Eviten la toma de apuntes en clase. Perderán el tiempo.

Â

Acudir a revisión de examen para saber en qué se ha fallado.

Â

No acudir a revisión a “negociar” la calificación.

Â

Ser conscientes de sus derechos… pero también desus obligaciones.