DADES IDENTIFICATIVES 2006_07
Assignatura LLENGUATGES, GRAMÀTIQUES I AUTÒMATES Codi 17081004
Ensenyament
Enginyeria Tècnica en Informàtica de Sistemes (1998)
Cicle 1er
Descriptors Crèd. Crèd. teoria Crèd. pràctics Tipus Curs Període
4.5 3 1.5 Troncal Segon Primer
Llengua d'impartició
Català
Departament Enginyeria Informatica i Matematiques
Coordinador/a
MORENO RIBAS, ANTONIO
Adreça electrònica antonio.moreno@urv.cat
david.sanchez@urv.cat
tomas.gonzalez@urv.cat
Professors/es
MORENO RIBAS, ANTONIO
SANCHEZ RUENES, DAVID
GONZALEZ SANCHEZ, TOMAS
Web http://moodle.urv.cat
Descripció general i informació rellevant Adquirir uns coneixements bàsics sobre teoria de llenguatges formals (principalment els regulars i els incontextuals), tant des del punt de vista del seu reconeixement (autòmats) com de la seva generació (gramàtiques).

Competències
Codi  

Objectius d'aprenentatge
Objectius Competències

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
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
 
Sessió Magistral
Treballs
Atenció personalitzada
Activitats Introductòries
Proves pràctiques
Descripció
Sessions de consultes personalitzades sobre el treball de recopilació d'informació per Internet.

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

Complementària

Recomanacions

Assignatures que es recomana cursar simultàniament
ANÀLISI MATEMÀTICA/17071101
ÀLGEBRA LINEAL/17071014