Tema 1. Lenguajes regulares: autómatas finitos deterministas y no

CURS 2004-2005
4513
AUTÔMATS i LLENGUATGES FORMALS
6
crèdits
Asignatura troncal cuatrimestral de segundo curso de la titulación de Informática de
Sistemas.
PROFESSORS i HORARIS
Jairo Rocha, jairo@uib.es, Tel. 971 172969
AULA
OBJECTIUS DOCENTS
Desarrollar la habilidad para usar mecanismos formales en la solución de problemas y apreciar su
importancia. Se estudian dos tipos de autómas cada uno en las versiones determinista y no
determinista, y tres lenguajes formales.
PREREQUISITS
DESCRIPTORS
Màquinas de Turing. Funciones recursivas. Gramáticas y lenguajes formales. Redes Neuronales.
PROGRAMA DE L’ASSIGNATURA
Crèdits Tema 1. Lenguajes regulares: autómatas finitos deterministas y no
teòrics deterministas, expresiones regulares, verificación.
1 grup:
Tema 2. Lenguajes libres de contexto: gramáticas libres de contexto,
verificación, autómatas de pila y su verificación.
Tema3. Programas básicos (máquinas de Turing, funciones recursivas):
programas universales, no deterministas, lenguajes decidibles y
semidecidibles, lenguajes no decidibles.
Tema4. Redes Neuronales Resolución de problemas a lo largo del curso.
Cr.pràc.
Resolución de problemas a lo largo del curso.
BIBLIOGRAFIA BÀSICA
Rocha, J., Roselló, F. Llenguatges i Autòmats. Verificació, Implementació i Concurrència. Servei de
Publicacions, UIB, 2003.
ELEMENTS D’AVALUACIÓ
2 controles parciales que pueden valer 25% cada uno si se aprueban. Examen final
que vale mínimo 50%.
METODOLOGIA
El temario de la asignatura está casi totalmente contenido en la bibliografía básica. El estudiante lee en
detalle la parte del libro que cubre el temario y el profesor explica la misma parte, dedicando más
tiempo a los temas difíciles, más algunos temas que no están en el libro los que el profesor marcará
explícitamente. El estudiante resuelve problemas, casi todos del libro, y los explica en la pizarra a sus
compañeros quienes colaboran en la solución. La resolución de problemas en la pizarra se llevará a cabo
cualquier día en la que haya ejercicios asignados. Las herramientas de aprendizaje del estudiante en
orden de importancia son: resolución individual de ejercicios, lectura del libro, tutorías, resolución
colectiva de ejercicios y asistencia a clase. Algunas clases se llevan a cabo con demostraciones prácticas
de programas que implementan los mecanismos de los lenguajes formales.
TUTORIES
Ma. 11:30-1:30, Ju. 10:30-12:30, Vi. 3:30-5:30, o con cita previa.