UNIVERSIDAD DE CÓRDOBA

---

Página inicial     Datos personales      Docencia      Investigación      Enlaces de interés       Lista de actualizaciones

---

Teoría de Autómatas y Lenguajes Formales

 Ingeniería Técnica en Informática de Sistemas 

 Departamento de Informática y Análisis Numérico

Escuela Politécnica Superior

Curso académico: 2010 - 2011

• Descripción de la asignatura
• Material docente
• Teoría
• Ejercicios
• Trabajo de Teoría
• Prácticas
• Documentacion Auxiliar para las Prácticas
  
• Exámenes
• Enlaces
• Avisos 
  

• Programa de la asignatura 

• Asignatura: 
•  Teoría de Autómatas y Lenguajes Formales
  
• Titulación: Ingeniería Técnica en Informática de Sistemas
  
• Segundo curso
• Segundo cuatrimestre
• Asignatura troncal
• 9 créditos: 6 teóricos y  prácticos

• Aulas y horario
• Teoría: 
• Aula B 1 del edificio Charles Darwin (edificio C1)
• Horario:
• Lunes:  8:30 a 10:30 horas
  
• Martes: (cambio aprobado por la Junta de Escuela celebrada el 18 de febrero de 2011)
• 10:30 a 11:30 horas 
• 12:00 a 13:00 horas
• Prácticas:
• Grupo 1: 
• Aula B1 del edificio Ramón y Cajal
• Horario: martes de 16:00 a 18:00 horas
• Grupo 2: 
• Aula B2 del edificio Ramón y Cajal
• Horario: jueves de 16:00 a 18:00 horas
• Grupo 1: 
• Aula B3 del edificio Ramón y Cajal
• Horario: martes de 18:00 a 20:00 horas

• Profesores:
• Teoría: Prof. Dr. Nicolás Luis Fernández García
• Horario de tutoría
• Práctica: Prof. José Luis Ávila Jiménez 
• Horario de tutoría

• Teoría
• Tema 3.- Gramáticas formales  (versión para tomar notas)
• Tema 4.- Gramáticas regulares  (versión para tomar notas)
• Tema 6.- Autómatas finitos y máquinas secuenciales (versión para tomar notas)
• Tema 7.- Lenguajes regulares (versión para tomar notas)
• Tema 8.- Gramáticas de contexto libre
• Nueva versión
• Versión anterior
• Tema 9.- Autómatas con pila
• Tema 10.- Lenguajes de contexto libre

• Ejercicios
• Hoja nº 1.- Lenguajes formales
• Hoja nº 2.- Gramáticas formales. Gramáticas regulares
• Hoja nº 3.- Expresiones regulares
• Hoja nº 4.- Autómatas finitos y máquinas secuenciales
• Hoja nº 5.- Lenguajes regulares
• Hoja nº 6.- Gramáticas de contexto libre
• Hoja nº 7.- Autómatas con pila
• Hoja nº 8.- Lenguajes de contexto libre
  

• Trabajo de Teoría 
• Convocatoria de junio de 2011:  trabajo sobre conceptos de teoría
• Fecha de entrega: hasta el 4 de mayo de 2011
• Convocatoria de septiembre de 2011: trabajo sobre conceptos de teoría de septiembre
• Fecha de entrega: hasta las 9:00 horas del 7 de septiembre de 2011

• Prácticas
• Trabajo de prácticas

• Documentación auxiliar paras las prácticas
• Software para Windows:
• Pclex
• Pcyacc
• Manuales:
  
• Lex
• Flex
• Yacc
• Bison
• Lex & Yacc

• Convocatoria de septiembre de 2011
• Fecha: 14 de septiembre
• Hora: 16:00
• Aula: B8 del aulario Averroes

• Convocatoria de junio de 2011
• Fecha: 9 de junio de 2011
• Hora: 9:00 
• Aula: B3, B4, y B5 del aulario Averroes
• Los alumnos acudirán al aula B3
• Si se llenara dicha aula entonces se  utilizarían las aulas B4 y B5

• Observación: 
• Calendario de exámenes de la convocatoria de junio en la página web de la EPS
• Enunciados de exámenes
• Examen de la convocatoria de junio de 2008
• Examen de la convocatoria de junio de 2011

• Página web de Lex y YACC
• The Lex & Yacc Page

• En esta sección se publicarán avisos relacionados con la asignatura