| Competències |
| Codi | |
| A14 | Aplicar els coneixements de matemàtiques a l'enginyeria informàtica. |
| B3 | Aplicar pensament crític, lògic i creatiu. |
| B4 | Treballar de forma autònoma amb iniciativa. |
| B12 | Presa de decisions. |
| B14 | Capacitat d'anàlisi i síntesi. |
| B15 | Gestió del coneixement. |
| C1 | Dominar l'expressió i la comprensió d'un idioma estranger. |
| C2 | Utilitzar com a usuari les eines bàsiques en TIC. |
| C5 | Expressar-se correctament (tant de forma oral com escrita) en la llengua pròpia. |
| Objectius d'aprenentatge |
| Objectius | Competències | ||
| Comprendre la importància de la Informàtica Tèorica i la seva utilitat pràctica | A14 |
B3 |
|
| Conèixer els conceptes bàsics sobre autòmats finits i gramàtiques incontextuals | A14 |
B14 |
|
| Recollir informació sobre algun tema associat a l'assignatura | B3 B4 B12 B14 B15 |
C1 C2 C5 |
|
| Continguts |
| Tema | Subtema |
| Introducció (3h). | Conceptes bàsics: alfabets, cadenes, llenguatges. |
| Llenguatges regulars (20h). | Autòmats finits deterministes i no deterministes. Expressions regulars. Equivalències. Minimització d'autòmats. Propietats. |
| Llenguatges incontextuals (20h). | Gramàtiques incontextuals. Arbres de derivació i ambigüitat. Simplificació de gramàtiques i formes normals. Gramàtiques regulars. Autòmats de pila. Equivalències. Propietats. |
| Altres llenguatges formals (2h). | Jerarquia de Chomsky. |
| Planificació |
| Metodologies :: Proves | |||||||||
| Competències | (*) Hores a classe | Hores fora de classe | (**) Hores totals | ||||||
| Activitats Introductòries |
|
1 | 0 | 1 | |||||
| Sessió Magistral |
|
44 | 44 | 88 | |||||
| Treballs |
|
0 | 3 | 3 | |||||
| Atenció personalitzada |
|
5 | 0 | 5 | |||||
| Proves pràctiques |
|
8 | 8 | 16 | |||||
| (*) En el cas de docència no presencial, són les hores de treball amb suport vitual del professor. (**) Les dades que apareixen a la taula de planificació són de caràcter orientatiu, considerant l’heterogeneïtat de l’alumnat | |||||||||
| Metodologies |
| Descripció | |
| Activitats Introductòries | Presentació de l'assignatura. Contingut teòric, mecanisme d'avaluació, bibliografia. |
| Sessió Magistral | Exposició dels continguts de l'assignatura. |
| Treballs | Recopilació d'informació per Internet sobre algun tema associat a l'assignatura i elaboració d'un petit treball escrit. |
| Atenció personalitzada |
|
|
| Avaluació |
| Descripció | Pes | ||
| Treballs | Recopilació d'informació per Internet sobre algun tema de l'assignatura. | 10% | |
| Proves pràctiques | Proves pràctiques on es resolen exercicis associats a autòmats finits o gramàtiques incontextuals | 90% | |
| Altres comentaris i segona convocatòria | |||
| Fonts d'informació |
| Bàsica |
Hopcroft, Motwani, Ullman, Introducción a la Teoría de Autómatas, Lenguajes y Computación, , |
||
| Complementària | |||
| Recomanacions |
| Assignatures que es recomana haver cursat prèviament | |||
|
|||