Estudia

• 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 Regulars

          1.1. Autòmats Finits

          1.2. Indeterminisme

          1.3. Expressions Regulars

          1.4. Llenguatges No-regulars

2. Llenguatges Lliures de Context

          2.1. Gramàtiques Lliures de Context

          2.2. Autòmats de Pila

          2.3. Llenguatges No-lliures de Context

• Michael Sipser (2006). Introduction to the Theory of Computation (2). Course Technology - CENGAGE Learning.
• JE Hopcroft, R. Motwani, KD Ullman (2001). Introduccion a la teoria de automatas, lenguajes, y computacion.. Addison-Wesley.
• JG Brookshear (1979). Teoria de la computacion. Addison-Wesley.
• 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
• Kelley, Dean (cop. 1995 ). Teoría de autómatas y lenguajes formales . Madrid [etc.]: Prentice Hall. Catàleg

Activitats d'avaluació:

Docència (mig quadrimestre: fins a Fires de Girona emprant totes les hores d'horari on consta LGA o MAC)
Classes de teoria: 4 hores setmanals
Problemes/Pràctiques: 2 hora setmanals (s'imparteixen en els punts adecuats dins del contingut teòric setmanal).
La qualificació de l’assignatura es realitzarà en base a 3 aspectes:
A) Un examen teòric
Es valorarà de 0..10 i representa un 60% de la nota final.
B) Resolució de problemes
Els alumnes desenvoluparan forçosament en grups de 2 o 3 un o dos problemes que sels presentaran en el moment de teoria adecuat i que obligatòriament hauran d'entregar dins del termini preestablert.
Es valorarà de 0..10 i representa un 20% de la nota final.
C) Resolució d'exercicis
De forma individual, cada estudiant lliurarà dins del termini establert els diversos exercicis que se li vagin presentant al llarg del desenvolupament de la teoria.
Es valorarà de 0..10 i representa un 20% de la nota final.

Per l'apartat A es faran dues convocatòries (ordinaria i extraordinaria) segons el calendari establert.
Els apartats B i C s'han d'entregar obligatòriament dins del termini establert i NO tenen recuperació (cal seguir doncs l'assignatura al llarg de tot el seu desenvolupament). Sempre que es consideri oportú, es podrà citar personalment a un alumne per tal de que demostri el seu coneixement i participació en les solucions entregades. La forma d'entrega dels treballs s'indicarà especificament per cadascún d'ells, conjuntament amb el seu enunciat i termini d'entrega.

Per poder promitjar és obligatòri haver entregat COMPLETAMENT cadascún dels tres apartats, inclòs pels alumnes no presencials. Altrament la qualificació seria de no presentat.

Les comunicacions es faran per escrit mitjançant "Avisos" a la Meva-UdG.
Tot el material el podreu trobar a http://ima.udg.edu/~rigau/LGA/

Criteris específics de la nota «No Presentat»:
Es considerarà No Presentat si l'estudiant no porta a terme l'exàmen de la part teòrica (A) o bé no presenta TOTS els treballs en equip (B) o be TOTS els treballs individuals (C).

Seguirem el llibre de text de la bibiografia de Michael Sipser. Específicament tota la Part 1.
El capítol 0 d'introducció es bàsic per situarse en el vocabulari, notació, i com a recordatori de conceptes previs de matemàtiques.
L'ús del text al llarg de totes les classes expositives facilitarà el treball als estudiants amb assistència discontinua per motius de treball (o altres).
Es recomana matricular-se de l'assignatura "Models abstractes de càlcul" el mateix curs.

• Models abstractes de càlcul