El calendari de laboratoris  del curs és el següent:

15 de febrer: Introducció. Llenguatges. Autòmats finits deterministes.

22 de febrer: Problemes d'autòmats finits deterministes.

 1 de març: Problemes d'autòmats finits deterministes.

 8 de març: Gramàtiques incontextuals (Introducció).

15 de març: Problemes de Gramàtiques incontextuals.

22 de març: Problemes de Gramàtiques incontextuals.

29 de març: Problemes d’operacions regulars.

19 d’abril: Problemes d’operacions regulars i d'autòmats amb pila.

Setmana d’exàmens (del 20 d’abril al 26 d’abril):   26 d’abril Parcial 1

3 de maig: Problemes d'autòmats amb pila.

10 de maig: TM, Decidibilitat, Semi-Decidibilitat, Computabilitat. (Introducció)

17 de maig: Problemes de reduccions de programes.

24 de maig: Problemes de reduccions de reescriptura de mots.

31 de maig: Problemes de reduccions de gramàtiques.

Exàmens de juny:  14 de juny Parcial 2

                  22 de juny Examen Final

Metodologia Docent: La principal característica de la metodologia docent de TC és la utilització del material docent  per a l'auto-aprenentatge de la teoria de l'assignatura.  El professor introdueix els fonaments tèorics bàsics de cada tema durant la classe de laboratori o de problemes. Els estudiants aprenen la teoria durant el seu temps de treball personal mitjançant l'estudi dels temes indicats pel professor de  la bibliografia o dels vídeos  i d'altres materials complementaris com apunts, llibres i llistes de problemes resolts, tots ells lliurement accessibles a través de la web.

Durant les hores de problemes, els estudiants surten a la pissarra a explicar solucions als problemes que se'ls hi han assignat amb anterioritat. El professor només intervé per corregir una solució, matisar un argument, o posar èmfasi en aquells aspectes que considera rellevants i que no han quedat del tot clars en l'explicació de l'alumne. També pren nota de cada presentació per tal de tenir-la en compte en l'avaluació de l'assignatura.

Durant les hores de laboratori, els estudiants miren de resoldre problemes davant de la màquina que són avaluats automàticament. El professor està present per tal d'atendre els dubtes que els alumnes li puguin plantejar. Els estudiants poden aprofitar aquestes classes per preparar els problemes que se'ls hi han assignat amb anterioritat, però també per mirar els vídeos, si no ho han fet abans pel seu compte, i per preguntar dubtes sobre la teoria.

Mètode d’avaluació: Aquesta assignatura es pot aprovar per avaluació contínua (sense assistir a l'examen final). La nota de l'avaluació contínua s'obté de la nota L corresponent als 2 examens del curs (actes avaluatius que valen entre 0 i 8 punts en total, el primer examen amb un pes del 50% i el segon examen amb un pes del 50%), i la nota P corresponent a l'avaluació de les presentacions a la pissarra dels problemes que s'han assignat als alumnes (entre 0 i 2 punts). La nota de l'avaluació contínua

C s'obté sumant aquestes dues notes, C=L+P.  

Els estudiants tals que la nota C sigui més gran  o igual a 5 i  no vagin a l'examen final tenen com a nota final de curs, la nota de l'avaluació contínua C.

Els estudiants tals que la nota C sigui més petita que 5 i no facin l'examen final obtindran qualificació NP.

Aquells estudiants que facin l'examen final renuncien a la nota de l'avaluació contínua com a nota final de curs (en cas que haguessin aprovat). En tal cas, la nota de l'assignatura s'obté de la nota de l'avaluació contínua C i de la nota F de l'examen final (entre 0 i 10) segons la fórmula:

max(F,0.5 F+0.5 C)

L'avaluació de les competències G7.3, G9.1 i CCO1.1 la realitza cada professor individualment per a cada alumne del seu grup basant-se en les presentacions públiques de l'avaluació continuada. L'avaluació de les competències no afecta a l'avaluació de l'assignatura.