| Competències |
| Codi | |
| A14 | Aplicar els coneixements de matemàtiques a l'enginyeria informàtica. |
| Objectius d'aprenentatge |
| Objectius | Competències | ||
| Comprendre la importància de la Informàtica Tèorica i la seva utilitat pràctica | A14 |
||
| Conèixer els conceptes bàsics sobre autòmats finits i gramàtiques incontextuals | A14 |
||
| Comprendre la importància de la Informàtica Tèorica i la seva utilitat pràctica | A14 |
||
| Recollir informació sobre algun tema associat a l'assignatura | |||
| 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. | 20% | |
| Proves pràctiques | Proves pràctiques on es resolen exercicis associats a autòmats finits o gramàtiques incontextuals | 80% | |
| 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 cursar simultàniament | |||
|
|||