Codi	9176	Descripció
Crdts. Teor.	3	MÀQUINES SEQÜENCIALS I AUTÒMATS FINITS. GRAMÀTIQUES I LLENGUATGES FORMALS. XARXES NEURONALS.
Crdts. Pract.	1,5
A efectes d'intercanvis en programes de mobilitat, la càrrega d'aquesta assignatura equival a 5,62 ECTS.

Departamentos y Áreas
Departaments	Àrea	Crdts. Teor.	Crdts. Pract.	Dpto. Respon.	Respon. Acta
LLENGUATGES I SISTEMES INFORMÀTICS	LLENGUATGES I SISTEMES INFORMÀTICS	3	1,5

Estudis en què s'imparteix

Enginyeria en Informàtica - pla 2001

Prerequisitos

FONAMENTS DE PROGRAMACIÓ II

Incompatibilitats de matricula per continguts equivalents
Sense Dades

Matriculats (2009-10)
Grup (*)	Nombre
1	40
2	33
3	3
TOTAL	76

(*) 1: GRUPO 1 - CAS

(*) 2: GRUPO 2 - CAS

(*) 3: GRUPO 3 Valenciano - VAL

Oferida com a lliure elecció (2009-10)

Sense departament

Consulta Gràfica d'Horari

Feu clic ací

Horari (2009-10)
Mode	Grup (*)	Data d’inici	Data de finalització	Dia	Hora d’inici	Hora d’fi	Aula
CLASSE TEÒRICA	1	14/09/2009	23/12/2009	X	09:00	11:00	A2/D23
	2	14/09/2009	23/12/2009	L	16:30	18:30	A2/D23
	3	14/09/2009	23/12/2009	L	10:00	12:00	A3/0013
PRÀCTIQUES AMB ORDINADOR	1	14/09/2009	23/12/2009	X	18:00	19:00	0016P1006
	2	14/09/2009	23/12/2009	V	13:00	14:00	0016P1006
	3	14/09/2009	23/12/2009	V	14:00	15:00	0016P1006

(*) CLASE TEÓRICA
	1: GRUPO 1 - CAS
	2: GRUPO 2 - CAS
	3: GRUPO 3 Valenciano - VAL
(*) PRÁCTICAS CON ORDENADOR
	1: Grupo de Prácticas de LGA 9176 - CAS
	2: Grupo de Prácticas de LGA 9176 - CAS
	3: Grupo de Prácticas de LGA 9176 - CAS

Grups de matricula (2009-10)
Grup (*)	Quadrimestre	Torn	Idioma	Distribució (lletra nif)
1	1er.	M	CAS	des de A fins a M
2	1er.	T	CAS	des de N fins a Z
3	1er.	M	VAL	des de - fins a -

(*) 1: GRUPO 1 - CAS

(*) 2: GRUPO 2 - CAS

(*) 3: GRUPO 3 Valenciano - VAL

Objectius de l'assignatura / competències (2009-10)

Generals Que l`alumne es familiaritze amb les teories formals per a la descripció de llenguatges naturals i artificials. El coneixement d`alguns problemes en els quals aquestes teories tenen aplicació o que han motivat la seua construcció. L`adquisició de ferramentes bàsiques necessaries per a algunes assignatures. El desenvolupament de la capacitat d`abstracció i anàlisi teòrica en relació amb la teoria de llenguatges. Fonamentals Diferenciar i clasificar els diversos llenguatges d`acord amb la jerarquia de Chomsky. Saber construir (algorítmicament i també de forma intuitiva en els casos senzills) autòmats finits per al reconeixement i anàlisi de llenguatges regulars. Conèixer el funcionament d`un traductor seqüencial i saber com es transforma una màquina de Mealy en una màquina de Moore i viceversa. Saber obtenir l`autòmat mínim per a un cert llenguatge regular. Saber definir mitjançant una gramàtica llenguatges senzills, en particular, el llenguatge reconegut per un autòmat finit determinista. Dominar algunes tècniques elementals de transformació de gramàtiques: cóm eliminar la recursió per l`esquerra, cóm reescriure-les en forma normal de Chomsky. Conèixer algun algorisme (per exemple, el de Cocke, Younger i Kasami) per a discriminar frases admissibles d`un llenguatge que ha estat definit mitjançant una gramàtica independent del context.

Continguts teòrics i pràctics (2009-10)

Conceptes previs. Llenguatges i computadors. Autòmats finits. Llenguatges regulars. Construcció de autòmats finits. Gramàtiques i llenguatges independents del context. Autòmats amb pila i anàlisi sintàctica. -->

Enllaç al programa

Professor/a responsable

Mico Andres , Maria Luisa

Metodologia docent (2009-10)

Classes teòriques

Classe magistral i treball pràctic en el laboratori.

Tipus d'activitats: teòriques i pràctiques

Laboratoris

Implementació de autòmats finits i analitzadors lèxics a partir d`expressions regulars (se suposa el coneixement d`un llenguatge de programació: C o C++).

Professorat (2009-10)
	Grup	Professor
TEORIA DE 9176	1	Calera Rubio, Jorge
		Mico Andres, Maria Luisa
	2	Marco Such, Manuel
		Mico Andres, Maria Luisa
	3	Marco Such, Manuel
		Mico Andres, Maria Luisa
PRÁCTICAS CON ORDENADOR DE 9176	1	Sánchez Navarro, Jose Luis
	2	Marco Such, Manuel
	3	Marco Such, Manuel

Enllaços relacionats

http://www.dlsi.ua.es/asignaturas/lga/applet/Afapplet.html

Bibliografia

Ordena pel títol del llibre Ordena pel professor que recomana

Introduction to languages and the theory of computation Autors: John C. Martin Edició: New York [etc.] : McGraw-Hill, cop.2003. ISBN: 0-07-119854-7 (International ed.) Recomanat per: MICO ANDRES, MARIA LUISA [ Accés al catàleg de la biblioteca universitària ] Teoria d`autòmats i llenguatges formals Autors: Ferri, Francesc J. Edició: Valencia : Publicacions de la Universitat de València, 2004. ISBN: 84-370-1806-4 Recomanat per: MICO ANDRES, MARIA LUISA (*1) [ Accés al catàleg de la biblioteca universitària ] Teoría de lenguajes, gramáticas y autómatas para informáticos Autors: Rafael C. Carrasco Jiménez, Jorge Calera Rubio, Mikel L. Forcada Zubizarreta Edició: Alicante: Publicaciones de la Universidad de Alicante. ISBN: 84-7908-574-6 Recomanat per: MICO ANDRES, MARIA LUISA [ Accés al catàleg de la biblioteca universitària ]

(*1) Aquest professor ha recomanat el recurs bibliogràfic a tot l'alumnat de l'assignatura.

Dates d'exàmens oficials (2009-10)
Convocatòria	Grup (*)	Data	Hora d’inici	Hora d’fi	Aules assignades	Observacions:
Exàmens extraordinaris de finalització d'estudis (desembre)	-1	30/10/2009	12:00	15:00	A2/B11	-
Període ordinari per a assignatures de primer semestrre	-1	26/01/2010	09:00	12:00	0039PS003 EP/S-09G EP/S-02M	-
Període extraordinari de juliol	-1	08/07/2010	08:30	11:30	A2/D12 A2/D11	-

(*) 1: GRUPO 1 - CAS

(*) 2: GRUPO 2 - CAS

(*) 3: GRUPO 3 Valenciano - VAL

Instruments i criteris d'avaluació (2009-10)

Examen final

La nota final s`obtindrà en un 80 % de l`examen de teoria i en un 20 % de les pràctiques. L`examen contindrà un 40 % de preguntes relatives als objectius fonamentals de l`assignatura. És necessari aprovar independentment la teoria i les pràctiques.