L'objectiu de l'assignatura consisteix en què l'alumne assoleixi els conceptes introductoris a la informàtica teòrica, generació de llenguatges via gramàtiques i reconeixement de llenguatges via autòmats. Alhora s'assoleix la base per a l'assignatura de Models abstractes de càlcul.
1. Llenguatges 1.1. Llenguatges Formals 2. Gramàtiques Regulars i Autòmats Finits 2.1. Expressions Regulars 2.2. Autòmats Finits Deterministes 2.3. Autòmats Finits No Deterministes 2.4. Gramàtiques Regulars 3. Gramàtiques Independents del Context i Autòmats amb Pila 3.1. Gramàtiques Independents del Context 3.2. Autòmats amb Pila
Tipus d’activitat Hores amb professor Hores sense professor Total Aprenentatge basat en problemes (PBL) 0 70,00 70,00 Prova d'avaluació 5,00 0 5,00 Sessió participativa 45,00 0 45,00 Total 50,00 70,00 120
P. Isasi, P. Martinez, D. Borrajo (1997). Lenguages, Gramaticas y Automatas. Un enfoque practico.. Addison-Wesley. Sesa Nogueras, Enric Vancells, Joan (2000 ). Teoria d'autòmats i llenguatges formals I . Barcelona: Universitat Oberta de Catalunya. Catàleg Casas, Rafel (1998 ). Llenguatges, gramàtiques i autòmats : curs bàsic (2a ed.). Barcelona: Edicions UPC. Catàleg JE Hopcroft, R. Motwani, KD Ullman (2001). Introduccion a la teoria de automatas, lenguajes, y computacion.. Addison-Wesley. Kelley, Dean (cop. 1995 ). Teoría de autómatas y lenguajes formales . Madrid [etc.]: Prentice Hall. Catàleg JG Brookshear (1979). Teoria de la computacion. Addison-Wesley.
Activitats d'avaluació: Descripció de l'activitat Avaluació de l'activitat % Resolucio d'exercicis i pràctiques 33 Proves personals finals 67
Mètodes docents: (Mig quadrimestre: Inici curs -> Fires Girona) Classes de teoria: 4 hores setmana Exercicis/Pràctiques: 2 hora setmana Avaluació: Prova final (67%) + exercicis i pràctiques d'avaluació continuada (33%). Per fer la mitjana ponderada cal un mínim de 4 de la prova final. Altrament, la nota serà la de la prova final.