|
LGRA: LLENGUATGES, GRAMATIQUES I AUTOMATES
| Pla | ETIG |
Codi | 11720 |
Tipus | OPT |
Crèdits | 4,5 |
Intensitat presencial | |
| Curs | 3 |
Sigla | LGRA |
Periocitat | 1 |
Depart | 723 |
| |
|
Idioma Clases
Català:
Espanyol:
Anglès:
|
Responsable LLUIS PADRO CIRERA | |
|
| Descripció [Català] | |
 |
|
|
| Descripció [Castellà] | |
|
|
|
| Descripció [Anglès] | |
|
|
| Ordre | Descripció | Tipus | Hores |
| 1 | Teoria | Temes | 0 |
| |
|
| Hores exposicions teòriques: 0 |
Hores treball pràctic: 0 |
| Hores treball grup: 0 |
Hores treball individual: 0 |
| | |
| Objectius | | |
| Donar una introducció a alguns temes de rellevància en informàtica teòrica, a ser complementats per l'assignatura MAC. Es preten que els estudiants manegin els elements bàsics per a l'estudi de la teoria de llenguatges i autòmats, tenint en compte també l'ús que es farà d'aquesta teoria a l'assignatura de compiladors. Els estudiants, després de cursar aquesta assignatura, haurien de conèixer els diferents graus de complexitat intrínsecs dels llenguatges regulars i incontextuals, i conèixer l'existència de classes més amplies. Disposaran també d'algunes eines per a descriure aquests llenguatges, per a reconèixer-los, i per a caracteritzar-los. | | |
| Continguts | | |
| 1. Llenguatges formals 2. Gramàtiques incontextuals 3. Autòmats finits 4. Minimització d'autòmats finits 5. Expressions regulars i gramàtiques regulars 6. Propietats d'iteració 7. Autòmats amb pila 8. Autòmats bidireccionals 9. Miscel.lània 1. Introducció : alfabets, mots i llenguatges. 2. Gramàtiques incontextuals. 3. Autòmats finits deterministes i indeterministes. 4. Determinització i minimització d'autòmats finits. 5. Propietats dels llenguatges regulars. Gramàtiques regulars. 6. Autòmats amb pila. Reconeixement de llenguatges incontextuals. 7. Expressions regulars. Lema de Bombament. 8. Autòmats finits bidireccionals. Autòmats finits amb sortida | | |
| | | |
|
|
| Hores Exposicions Teòriques: [0] |
| Hores Treball Pràctic: [0] |
| Hores de Treball en Grup: [0] |
| Hores treball individual: [0] |
|
| Hores totals: [0] |
| Crèdits ECTS: [0] |
|
|
|
|
|
| Hores Avaluació: 0 |
|
| Cap a mitjants del quatrimestre es passarà una prova de la part del temari que s'hagi estudiat fins aquell moment. En acabar el curs es passarà una prova de la totalitat del temari. La nota final F s'obté així: Sigui N1 la nota sobre 10 de la prova parcial. Sigui N2 la nota sobre 10 de la prova final. Sigui N3 la mitjana aritmètica de N1, N2 F = Max (N2,N3) |
| |
| CRÈDITS ECTS: Detall dels crèdits totals, separats per tipus |
| Treball en curs |
|
Treball encarregat durant el curs, realitzat de forma individual, en un termini prefixat |
| Treball en grup |
|
Treball encarregat durant el curs, realitzat en grup, en un termini prefixat |
| Projecte individual |
|
Treball realitzat de forma individual, integrant diversos coneixements de la matèria, i diferent per a cada estudiant |
| Pràctiques (PC) |
|
Treball d'aplicació dels coneixements de la matèria en el cas pràctic real, realitzat de forma individual o en grup |
| Treball escrit (WW) |
|
Treball realitzat de forma individual i per escrit, en un termini prefixat |
| Exàmen escrit (WE) |
|
Prova individual realitzada per escrit en un temps fixat i en un lloc predeterminat i controlat |
| Ex. Teòric/pràctic (TP) |
|
Prova individual relacionada amb aspectes teòrics i pràctics de la matèria, realitzada en un temps fixat i en un lloc predeterminat i controlat |
|
|
