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 (2012-13)
Grup (*)	Nombre
1	5
TOTAL	5

(*) 1: GRUPO 1 - CAS

Oferida com a lliure elecció (2012-13)

Sense departament

Consulta Gràfica d'Horari

Feu clic ací

Horari (2012-13)

Sense horari

Grups de matricula (2012-13)
Grup (*)	Quadrimestre	Torn	Idioma	Distribució (lletra nif)
1	1er.	M	CAS	des de - fins a -

(*) 1: GRUPO 1 - CAS

Objectius de l'assignatura / competències (2012-13)

Generales Que el alumno se familiarice con las teorías formales para la descripción de lenguajes naturales y artificiales. El conocimiento de algunos problemas en los que dichas teorías tienen aplicación o que han motivado su construcción. La adquisición de herramientas básicas necesarias para algunas asignaturas. El desarrollo de la capacidad de abstracción y análisis teórico en relación con la teoría de lenguajes. Fundamentales Diferenciar y clasificar los distintos lenguajes de acuerdo con la jerarquía de Chomsky. Saber construir (algorítmicamente y también de forma intuitiva en los casos sencillos) autómatas finitos para el reconocimiento y análisis de lenguajes regulares. Conocer el funcionamiento de un traductor secuencial y saber cómo se transforma una máquina de Mealy en un máquina de Moore y viceversa. Saber obtener el autómata mínimo para un lenguajes regular dado. Saber definir mediante una gramática lenguajes sencillos, en particular, el lenguaje reconocido por un autómata finito determinista. Dominar algunas técnicas elementales de transformación de gramáticas: cómo eliminar la recursión por la izquierda, cómo reescribirlas en forma normal de Chomsky. Conocer algún algoritmo (por ejemplo, el de Cocke, Younger y Kasami) para discriminar frases admisibles de un lenguaje que ha sido definido mediante una gramática independiente del contexto.

Continguts teòrics i pràctics (2012-13)

Bloque 1: Autómatas finitos y lenguajes regulares. Tema 1: Nociones básicas de teoría de conjuntos. 1.1. Conjunto. Definiciones y propiedades. 1.2. Correspondencias y relaciones. 1.3. Cardinal. Conjuntos infinitos. 1.4 Conjuntos numerables. Propiedades y ejemplos. 1.5. Conjuntos no numerables. Ejemplos. Tema 2: Lenguajes y computadores. 2.1. Alfabetos y lenguajes. 2.2. Lenguajes y computadores. 2.3. Problemas y lenguajes. Tema 3: Autómatas finitos. 3.1. Definición y representaciones de un autómata finito determinista (AFD). 3.2. El AFD como clasificador. Ejemplos. 3.3. Lenguaje aceptado por un AFD. 3.4. El AFD como traductor. Máquinas de Moore y de Mealy. 3.5. Autómatas finitos indeterministas (AFI). Ejemplos. 3.6. Lenguaje aceptado por un AFI. 3.7. Autómatas finitos estocásticos. Ejemplos. Tema 4: Expresiones y lenguajes regulares. 4.1. Definición de expresión regular (ER). Ejemplos 4.2. Propiedades de las ER. 4.3. Equivalencia entre ER y autómatas finitos. Tema 5: Propiedades de los lenguajes regulares 5.1. Propiedades de clausura de los lenguajes regulares. 5.2. Algoritmos y decidibilidad. 5.3. Equivalencia y minimización de autómatas. 5.4. Lema del bombeo para lenguajes regulares. Bloque 2: Gramáticas y lenguajes independientes del contexto. Tema 6: Gramáticas y lenguajes independientes del contexto. 6.1. Definición y notación de las gramáticas. 6.3. Lenguaje generado por una gramática y tipos de gramáticas. 6.4. Gramáticas regulares. Ejemplos. 6.5. Gramáticas independientes del contexto (GIC). Ejemplos. 6.6. Análisis sintáctico (algoritmo de Cocke, Younger y Kasami). 6.7. Simplificación de GIC. 6.8. Formas normalizadas de Chomsky y Greibach.

Enllaç al programa

Professor/a responsable

Mico Andres , Maria Luisa

Metodologia docent (2012-13)

No especificat

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

No especificat

Professorat (2012-13)
	Grup	Professor
TEORIA COMPARTIDA DE 9176, 9317 Y 9360	1	Mico Andres, Maria Luisa
PRÁCTICAS CON ORDENADOR COMPARTIDA DE 9176, 9317 Y 9360	1	Mico Andres, Maria Luisa
	4	Mico Andres, Maria Luisa

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 (2012-13)
Convocatòria	Grup (*)	Data	Hora d’inici	Hora d’fi	Aules assignades	Observacions:
Estudi: B203
Proves extraordinarias de finalització d'estudis	-1	08/11/2012				-
Període ordinari per a assignatures de primer semestrre	-1	18/01/2013	12:00	15:00	EP/0-24P	-
Proves extraordinàries de assignatures de grau i màster	-1	11/07/2013	08:30	11:30	CS/S005	-

(*) 1: GRUPO 1 - CAS

Instruments i criteris d'avaluació (2012-13)

No especificat