Estudia > Oferta formativa > Oferta d'assignatures > Detall de l'assignatura
Anar al contingut (clic a Intro)
UdG Home UdG Home
Tancar
Menú

Estudia a la UdG

Dades generals

Curs acadèmic:
2014
Descripció:
Introduccio als llenguatges formals. Estudi i disseny d'automats.
Crèdits:
4,5

Grups

Grup A

Durada:
Semestral, 1r semestre
Professorat:
Idioma de les classes:
Català (100%)

Altres Competències

  • L'objectiu de l'assignatura consisteix en què l'alumne assoleixi els conceptes introductoris a la informàtica teòrica, generació de llenguatges via gramàtiques i reconeixement de llenguatges via autòmats. Alhora s'assoleix la base per a l'assignatura de Models abstractes de càlcul.

Continguts

1. Llenguatges Regulars

          1.1. Autòmats Finits

          1.2. Indeterminisme

          1.3. Expressions Regulars

          1.4. Llenguatges No-regulars

2. Llenguatges Lliures de Context

          2.1. Gramàtiques Lliures de Context

          2.2. Autòmats de Pila

          2.3. Llenguatges No-lliures de Context

Activitats

Tipus d’activitat Hores amb professor Hores sense professor Total
Prova d'avaluació 4,00 9,00 13,00
Resolució d'exercicis 0 15,00 15,00
Sessió expositiva 25,00 8,00 33,00
Sessió participativa 0 15,00 15,00
Sessió pràctica 20,00 8,00 28,00
Tutories de grup 15,00 1,00 16,00
Total 64,00 56,00 120

Bibliografia

  • Michael Sipser (2006). Introduction to the Theory of Computation (2). Course Technology - CENGAGE Learning.
  • JE Hopcroft, R. Motwani, KD Ullman (2001). Introduccion a la teoria de automatas, lenguajes, y computacion.. Addison-Wesley.
  • JG Brookshear (1979). Teoria de la computacion. Addison-Wesley.
  • P. Isasi, P. Martinez, D. Borrajo (1997). Lenguages, Gramaticas y Automatas. Un enfoque practico.. Addison-Wesley.
  • Sesa Nogueras, Enric Vancells, Joan (2000 ). Teoria d'autòmats i llenguatges formals I . Barcelona: Universitat Oberta de Catalunya. Catàleg
  • Casas, Rafel (1998 ). Llenguatges, gramàtiques i autòmats : curs bàsic (2a ed.). Barcelona: Edicions UPC. Catàleg
  • Kelley, Dean (cop. 1995 ). Teoría de autómatas y lenguajes formales . Madrid [etc.]: Prentice Hall. Catàleg

Avaluació i qualificació

Activitats d'avaluació:

Descripció de l'activitat Avaluació de l'activitat %
Resolució problemes (en equip) Disseny, implementació, participació, compliment termini. 20
Resolució d'exercicis (individual) Disseny, implementació, compliment termini. 20
Prova d'avaluació (teòrica) Solució i demostració de les solucions a un conjunt de questions relacionades amb el temari. 60

Qualificació

Docència (mig quadrimestre: fins a Fires de Girona emprant totes les hores d'horari on consta LGA o MAC)
Classes de teoria: 4 hores setmanals
Problemes/Pràctiques: 2 hora setmanals (s'imparteixen en els punts adecuats dins del contingut teòric setmanal).
La qualificació de l’assignatura es realitzarà en base a 3 aspectes:
A) Un examen teòric
Es valorarà de 0..10 i representa un 60% de la nota final.
B) Resolució de problemes
Els alumnes desenvoluparan forçosament en grups de 2 o 3 un o dos problemes que sels presentaran en el moment de teoria adecuat i que obligatòriament hauran d'entregar dins del termini preestablert.
Es valorarà de 0..10 i representa un 20% de la nota final.
C) Resolució d'exercicis
De forma individual, cada estudiant lliurarà dins del termini establert els diversos exercicis que se li vagin presentant al llarg del desenvolupament de la teoria.
Es valorarà de 0..10 i representa un 20% de la nota final.

Per l'apartat A es faran dues convocatòries (ordinaria i extraordinaria) segons el calendari establert.
Els apartats B i C s'han d'entregar obligatòriament dins del termini establert i NO tenen recuperació (cal seguir doncs l'assignatura al llarg de tot el seu desenvolupament). Sempre que es consideri oportú, es podrà citar personalment a un alumne per tal de que demostri el seu coneixement i participació en les solucions entregades. La forma d'entrega dels treballs s'indicarà especificament per cadascún d'ells, conjuntament amb el seu enunciat i termini d'entrega.

Per poder promitjar és obligatòri haver entregat COMPLETAMENT cadascún dels tres apartats, inclòs pels alumnes no presencials. Altrament la qualificació seria de no presentat.

Les comunicacions es faran per escrit mitjançant "Avisos" a la Meva-UdG.
Tot el material el podreu trobar a http://ima.udg.edu/~rigau/LGA/

Criteris específics de la nota «No Presentat»:
Es considerarà No Presentat si l'estudiant no porta a terme l'exàmen de la part teòrica (A) o bé no presenta TOTS els treballs en equip (B) o be TOTS els treballs individuals (C).

Observacions

Seguirem el llibre de text de la bibiografia de Michael Sipser. Específicament tota la Part 1.
El capítol 0 d'introducció es bàsic per situarse en el vocabulari, notació, i com a recordatori de conceptes previs de matemàtiques.
L'ús del text al llarg de totes les classes expositives facilitarà el treball als estudiants amb assistència discontinua per motius de treball (o altres).
Es recomana matricular-se de l'assignatura "Models abstractes de càlcul" el mateix curs.

Assignatures recomanades

  • Models abstractes de càlcul

Escull quins tipus de galetes acceptes que el web de la Universitat de Girona pugui guardar en el teu navegador.

Les imprescindibles per facilitar la vostra connexió. No hi ha opció d'inhabilitar-les, atès que són les necessàries pel funcionament del lloc web.

Permeten recordar les vostres opcions (per exemple llengua o regió des de la qual accediu), per tal de proporcionar-vos serveis avançats.

Proporcionen informació estadística i permeten millorar els serveis. Utilitzem cookies de Google Analytics que podeu desactivar instal·lant-vos aquest plugin.

Per a oferir continguts publicitaris relacionats amb els interessos de l'usuari, bé directament, bé per mitjà de tercers (“adservers”). Cal activar-les si vols veure els vídeos de Youtube incrustats en el web de la Universitat de Girona.