Código	9360	Descripción
Crdts. Teor.	3	MÁQUINAS SECUENCIALES Y AUTÓMATAS FINITOS. GRAMÁTICAS Y LENGUAJES FORMALES. REDES NEURONALES.
Crdts. Pract.	1,5
A efectos de intercambios en programas de movilidad, la carga de esta asignatura equivale a 5,62 ECTS.

Departamentos y Áreas
Departamentos	Área	Crdts. Teor.	Crdts. Pract.	Dpto. Respon.	Respon. Acta
LENGUAJES Y SISTEMAS INFORMÁTICOS	LENGUAJES Y SISTEMAS INFORMATICOS	3	1,5

Estudios en los que se imparte

Ingeniería Técnica en Informática de Sistemas - plan 2001

Pre-requisitos

FUNDAMENTOS DE PROGRAMACIÓN II

Incompatibilidades de matrícula por contenidos equivalentes
Sin Datos

Matriculados (2013-14)
Grupo (*)	Número
1	7
TOTAL	7

(*) 1: GRUPO 1 - CAS

Ofertada como libre elección (2013-14)

Sin departamento

Consulta Gráfica de Horario

Pincha aquí

Horario (2013-14)

Sin horario

Grupos de matricula (2013-14)
Grupo (*)	Cuatrimestre	Turno	Idioma	Distribución (letra nif)
1	1er.	M	CAS	desde - hasta -

(*) 1: GRUPO 1 - CAS

Objetivos de las asignatura / competencias (2013-14)

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.

Contenidos teóricos y prácticos (2013-14)

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.

Más información

Profesor/a responsable

Mico Andres , Maria Luisa

Metodología docente (2013-14)

No especificado

Tipo de actividades: teóricas y prácticas

No especificado

Profesores (2013-14)
	Grupo	Profesor/a
TEORIA COMPARTIDA DE 9176, 9317 Y 9360	1	Mico Andres, Maria Luisa

Enlaces relacionados

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

Bibliografía

Ordenar por título del libro Ordenar por profesor que lo recomienda

Introducción a la teoría de autómatas, lenguajes y computación Autor(es): Hopcroft, John E. ; Motwani, Rajeev Edición: Madrid : Addison-Wesley, 2008. ISBN: 978-84-7829-088-8 Recomendado por: MICO ANDRES, MARIA LUISA (*1) [ Acceso al catálogo de la biblioteca universitaria ] [ Acceso a las ediciones anteriores ] Introduction to languages and the theory of computation Autor(es): John C. Martin Edición: New York [etc.] : McGraw-Hill, cop.2003. ISBN: 0-07-119854-7 (International ed.) Recomendado por: MICO ANDRES, MARIA LUISA [ Acceso al catálogo de la biblioteca universitaria ] Teoria d`autòmats i llenguatges formals Autor(es): Ferri, Francesc J. Edición: Valencia : Publicacions de la Universitat de València, 2004. ISBN: 84-370-1806-4 Recomendado por: MICO ANDRES, MARIA LUISA (*1) [ Acceso al catálogo de la biblioteca universitaria ] Teoría de autómatas y lenguajes formales Autor(es): Dean Kelley ; traducción Ma Luisa Díez Platas ; revisión técnica Luis Joyanes Aguilar Edición: Madrid [etc.] : Prentice Hall, 1995. ISBN: 0-13-518705-2 Recomendado por: MICO ANDRES, MARIA LUISA [ Acceso al catálogo de la biblioteca universitaria ] Teoría de lenguajes, gramáticas y autómatas para informáticos Autor(es): Rafael C. Carrasco Jiménez, Jorge Calera Rubio, Mikel L. Forcada Zubizarreta Edición: Alicante: Publicaciones de la Universidad de Alicante. ISBN: 84-7908-574-6 Recomendado por: MICO ANDRES, MARIA LUISA [ Acceso al catálogo de la biblioteca universitaria ]

(*1) Este profesor ha recomendado el recurso bibliográfico a todos los alumnos de la asignatura.

Fechas de exámenes oficiales (2013-14)
Convocatoria	Grupo (*)	fecha	Hora inicio	Hora fin	Aula(s) asignada(s)	Observ:
Pruebas extraordinarias de finalización de estudios	-1	19/11/2013				-
Periodo ordinario para asignaturas de primer semestre	-1	21/01/2014	09:00	12:00	A2/B12	-
Pruebas extraordinarias para asignaturas de grado y máster	-1	01/07/2014	08:30	11:30	CS/S007	-

(*) 1: GRUPO 1 - CAS

Instrumentos y criterios de evaluación (2013-14)

No especificado