Autómatas y gramáticas Código:  75.579    :  6
Consulta de los datos generales   Descripción   La asignatura en el conjunto del plan de estudios   Campos profesionales en el que se proyecta   Conocimientos previos   Información previa a la matrícula   Objetivos y competencias   Contenidos   Consulta de los recursos de aprendizaje de los que dispone la asignatura   Recursos de aprendizaje y herramientas de apoyo   Informaciones sobre la evaluación en la UOC   Consulta del modelo de evaluación  
Este es el plan docente de la asignatura para el segundo semestre del curso 2023-2024. Podéis consultar si la asignatura se ofrece este semestre en el espacio del campus Más UOC / La universidad / Planes de estudios). Una vez empiece la docencia, tenéis que consultarlo en el aula. El plan docente puede estar sujeto a cambios.

Una parte muy importante de la información disponible hoy en día se encuentra disponible en formato textual: páginas web, ficheros de configuración, scripts, programas de ordenador o incluso texto en lenguaje natural. Para que un ordenador pueda utilizar esta información, es necesario que la pueda interpretar según las reglas del lenguaje en que está escrita.

En esta asignatura se presentan técnicas básicas para describir la estructura de un lenguaje, las expresiones regulares y las gramáticas libres de contexto. Estas notaciones son las que se usan, por ejemplo, para describir los lenguajes de programación o describir patrones de texto para hacer búsquedas.

Además, se presentan los mecanismos que utilizan los ordenadores para reconocer si una sentencia está correctamente formada según la estructura de un lenguaje. En concreto se presentan los autómatas finitos y autómatas con pila.

En resumen, esta asignatura proporciona las herramientas básicas para saber tratar información textual con un ordenador.

Amunt

La asignatura Autómatas y Gramáticas se puede cursar como asignatura optativa o bien como parte del itinerario de Computación.

Dentro de este itinerario, esta asignatura proporciona los conceptos básicos para el análisis de información textual. Estos conocimientos se aplican en Compiladores al análisis de los lenguajes de programación. Además, junto con Inteligencia Artificial y Aprendizaje computacional, la asignatura proporciona las bases utilizadas en las técnicas del procesamiento de lenguaje natural.

Por otro lado, el concepto de autómata como máquinas de estado también se utiliza en muchos ámbitos de la informática, como por ejemplo la descripción de sistemas hardware (Fundamentos de computadores) y software (Ingeniería del software).

Amunt

Esta asignatura aporta los fundamentos necesarios por cualquier tarea que requiera el tratamiento de información textual. En concreto, estas competencias son imprescindibles para trabajar en la construcción de compiladores e intérpretes de lenguajes de programación o el tratamiento de lenguaje natural (comprensión de textos, reconocimiento de voz, ...).

Por otro lado, los conocimientos de expresiones regulares y gramáticas también facilitan el aprendizaje de nuevos lenguajes de programación, que siempre se describen utilizando estos formalismos.

Por último, el uso de expresiones regulares para describir patrones de busca es muy común en diferentes ámbitos (editores de texto, comandos del sistema operativo para localizar ficheros, buscadores de internet, ...). Hay muchos lenguajes de scripting y procesamiento de documentos de texto como por ejemplo Perl, sed o awk que utilizan de forma intensiva las expresiones regulares para hacer el tratamiento y manipulación de textos.

Amunt

La asignatura requiere conocimientos básicos del concepto de grafo, que se ha introducido en la asignatura Grafos y Complejidad.

Por otro lado, la asignatura requiere una cierta habilidad con el uso de notación matemática, dado que los lenguajes se describen de manera formal. Por este motivo, se recomienda haber cursado previamente la asignatura de Lógica .

Amunt

Antes de cursar esta asignatura, es muy recomendable haber cursado previamente las asignaturas siguientes:

  • Grafos y Complejidad
  • Lógica

Amunt

Las competencias generales del Grado que se ponen de manifiesto en esta asignatura son:

  • Capacidad para utilizar los fundamentos matemáticos, estadísticos y físicos para comprender los sistemas TIC.
  • Capacidad para analizar un problema en el nivel de abstracción adecuado a cada situación y aplicar las habilidades y conocimientos adquiridos para resolverlo.

Las competencias específicas de esta asignatura son:

  • Saber definir los conceptos de alfabeto, palabra y lenguaje.
  • Conocer las operaciones sobre lenguajes y palabras (concatenación, clausuras) y saber utilizarlas para describir lenguajes complejos.
  • Saber construir expresiones regulares y gramáticas independientes del contexto para describir un lenguaje dado.
  • Saber construir autómatas finitos y autómatas con pila para reconocer las palabras de un lenguaje dado.
  • Conocer las relaciones entre autómatas, expresiones regulares y gramáticas y saber pasar de una representación a la otra con destreza.
  • Conocer las diferencias entre lenguajes regulares e independientes de contexto y saber clasificar un lenguaje a la familia correspondiente.

Amunt

La asignatura se estructura en tres módulos:

Módulo

Contenidos

Descripción

1. Alfabetos, palabras y lenguajes

1. Elementos básicos: alfabetos, palabras y lenguajes

2. Operaciones sobre palabras

3. Operaciones sobre lenguajes

4. Definición de lenguajes

En este módulo se describen los elementos que forman un lenguaje y las operaciones para manipularlos.

2. Autómatas finitos y lenguajes regulares

1. Autómatas finitos deterministas y lenguajes regulares

2. Autómatas finitos indeterministas

3. Operaciones con autómatas finitos

4. Minimización de autómatas finitos

5. Expresiones regulares

6. El lema de bombeo

Se presenta la clase de lenguajes más simples, los lenguajes regulares. Se proporciona un formalismo para describir estos lenguajes (expresiones regulares) y otro para reconocer las palabras que forman parte de ellos (autómatas con pila).

3. Gramáticas incontextuals y autómatas con pila

1. Conceptos introductorios

2. Árbol de derivación y ambigüedad

3. Verificación de gramáticas

4. Simplificación de una gramática

5. Formas normales

6. Autómatas con pila

7. Propiedades de los lenguajes incontextuals

Se presenta una clase de lenguajes más complejos, denominados independientes del contexto. La estructura de este lenguaje se describir mediante gramáticas y sus palabras se reconocen mediante autómatas con pila.

Amunt

Teoría de autómatas y lenguajes formales I PDF

Amunt

Los módulos didácticos constituyen la parte más importante de los materiales de la asignatura. Recibiréis estos materiales en papel al inicio del semestre y los podéis descargar en formato PDF desde el apartado Recursos del aula.

Amunt

La Normativa académica de la UOC dispone que el proceso de evaluación se fundamenta en el trabajo personal del estudiante y presupone la autenticidad de la autoría y la originalidad de los ejercicios realizados.

La falta de originalidad en la autoría o el mal uso de las condiciones en las que se hace la evaluación de la asignatura es una infracción que puede tener consecuencias académicas graves.

El estudiante será calificado con un suspenso (D/0) si se detecta falta de originalidad en la autoría de alguna actividad evaluable (práctica, prueba de evaluación continua (PEC) o final (PEF), o la que se defina en el plan docente), ya sea porque ha utilizado material o dispositivos no autorizados, ya sea porque ha copiado de forma textual de internet, o ha copiado de apuntes, de materiales, manuales o artículos (sin la citación correspondiente) o de otro estudiante, o por cualquier otra conducta irregular.

La calificación de suspenso (D/0) en la evaluación continua (EC) puede conllevar la obligación de hacer el examen presencial para superar la asignatura (si hay examen y si superarlo es suficiente para superar la asignatura según indique este plan docente).

Cuando esta mala conducta se produzca durante la realización de las pruebas de evaluación finales presenciales, el estudiante puede ser expulsado del aula, y el examinador hará constar todos los elementos y la información relativos al caso.

Además, esta conducta puede dar lugar a la incoación de un procedimiento disciplinario y la aplicación, si procede, de la sanción que corresponda.

La UOC habilitará los mecanismos que considere oportunos para velar por la calidad de sus titulaciones y garantizar la excelencia y la calidad de su modelo educativo.

Amunt

Puedes superar la asignatura a través de dos vías:

  1. Con evaluación continua (EC) y una prueba de síntesis (PS):
    • Si superas la evaluación continua y en la prueba de síntesis obtienes la nota mínima necesaria, la nota final será la ponderación que se especifique en el plan docente.
    • Si superas la evaluación continua y en la prueba de síntesis no obtienes la nota mínima necesaria, la calificación final será la nota cuantitativa que obtengas en la prueba de síntesis.
    • Si superas la evaluación continua y no te presentas a la prueba de síntesis, la nota final será un No presentado.
    • Si suspendes la evaluación continua, la nota final será un No presentado.
    • Si no te presentas a la evaluación continua, la nota final será un No presentado.

  2. Con examen (para seguir esta vía no es necesario haber superado la evaluación continua para hacer el examen):
    • Si no has presentado la evaluación continua, la nota final será la calificación numérica obtenida en el examen.
    • Si en la evaluación continua has obtenido una nota distinta a un No presentado, la nota final será el cálculo más favorable entre la nota numérica del examen y la ponderación de la nota de la evaluación continua con la nota del examen, según lo establecido en el plan docente. Para aplicar este cálculo, es necesario obtener una nota mínima de 4 en el examen (si es inferior, la nota final de la asignatura será la calificación del examen).
    • Si no te presentas al examen, la calificación final será un No presentado.

 

Amunt