DADES IDENTIFICATIVES 2009_10
Assignatura (*) LLENGUATGES, GRAMÀTIQUES I AUTÒMATES Codi 17071102
Ensenyament
Enginyeria Tècnica en Informàtica de Gestió (1998)
Cicle 1er
Descriptors Crèd. Crèd. teoria Crèd. pràctics Tipus Curs Període
4.5 3 1.5 Obligatòria Segon Primer
Llengua d'impartició
Català
Departament Enginyeria Informàtica i Matemàtiques
Coordinador/a
SÁNCHEZ RUENES, DAVID
Adreça electrònica gerard.sanroma@urv.cat
david.sanchez@urv.cat
Professors/es
SANROMÀ GUELL, GERARD
SÁNCHEZ RUENES, DAVID
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). Concepte de problema i la possibilitat de resoldre'l mitjançant un ordinador.

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
Aplicar els coneixements per resoldre problemes relacionats amb la definició d'autòmats i el reconeixement del llenguatge 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
26 26 52
Resolució de problemes, exercicis a l'aula ordinària
15 30 45
 
Atenció personalitzada
6 0 6
 
Proves pràctiques
8 0 8
 
(*) 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.
Resolució de problemes, exercicis a l'aula ordinària Els alumnes hauran de preparar problemes relacionats amb la teoria que resoldran a la pissarra

Atenció personalitzada
 
Sessió Magistral
Atenció personalitzada
Activitats Introductòries
Proves pràctiques
Descripció
Sessions de consultes personalitzades

Avaluació
  Descripció Pes
Proves pràctiques Proves pràctiques on es resolen exercicis associats a autòmats finits o gramàtiques incontextuals 100%
 
Altres comentaris i segona convocatòria

Els alumnes podran pujar nota participant en la resolució dels problemes a classe.


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
ANÀLISI MATEMÀTICA/17071101
ÀLGEBRA LINEAL/17071014
(*)La Guia docent és el document on es visualitza la proposta acadèmica de la URV. Aquest document és públic i no es pot modificar, llevat de casos excepcionals revisats per l'òrgan competent/ o degudament revisats d'acord amb la normativa vigent