Teoría de autómatas y lenguajes formales

  • General

    imagen_TALF_OCW

    FRANCISCO JOSÉ  VICO VELA                                                         

     



    Departamento: Lenguajes y Ciencias de la Computación. 
    Universidad de Málaga.
    Área de conocimiento: Ciencias de la Computación e Inteligencia Artificial. Nivel: Segundo de Grado en Ingeniería Informática / de Computadores / del Software. ETS Ingeniería Informática 
    Fecha de la última actualización: febrero de 2013.

     

    Horas de clase de teoría: 40    

    Horas de clase de práctica: 20

    Tiempo total previsto de aprendizaje: 60 horas

    Periodo en que se impartió la asignatura: 2008-2009

     

    Descripción general de la asignatura. Prerrequisitos y conocimientos previos recomendados

    La asignatura "Teoría de autómatas y lenguajes formales" formaliza los conceptos que constituyen los pilares de la computación. En los dos temas incluídos aquí, se recorren las principales definiciones de la teoría de lenguajes formales y se describen dos clases de lenguajes: regulares e independientes del contexto. Asimismo, se propone una relación de problemas resueltos, para afianzar la compresión de estos conceptos

     

    Objetivos: Conocimientos y Capacidades. Competencias

    Competencias báscias

      • Que los estudiantes sepan aplicar sus conocimientos a su trabajo o vocación de una forma profesional y posean las competencias que suelen demostrarse por medio de la elaboración y defensa de argumentos y la resolución de problemas dentro de su área de estudio.
      • Que los estudiantes puedan transmitir información, ideas, problemas y soluciones a un público tanto especializado como no especializado.
      • Que los estudiantes hayan desarrollado aquellas habilidades de aprendizaje necesarias para emprender estudios posteriores con un alto grado de autonomía.

       

      Competencias genéricas

      • Conocimiento de las materias básicas y tecnologías, que capaciten para el aprendizaje y desarrollo de nuevos métodos y tecnologías, así como las que les doten de una gran versatilidad para adaptarse a nuevas situaciones.
      • Capacidad para resolver problemas con iniciativa, toma de decisiones, autonomía y creatividad. Capacidad para saber comunicar y transmitir los conocimientos, habilidades y destrezas de la profesión de Ingeniero Técnico en Informática.

       

      Competencias específicas

      • Capacidad para comprender y dominar los conceptos básicos de autómatas y lenguajes formales, y su aplicación para la resolución de problemas propios de la informática.
      • Capacidad para comprender y dominar los conceptos relativos a la calculabilidad, decidibilidad y enumerabilidad, y su relevancia en los problemas propios de la informática.

      Contenidos

      • Autómatas y Lenguajes
      1. Alfabetos y Lenguajes.
      2. Clasificación de Lenguajes.
      3. Lenguajes, Gramáticas y Expresiones Regulares. Autómatas Finitos.
      4. Lenguajes y Gramáticas de Contexto Libre. Autómatas con Pila.

       

      • Modelos de Cómputo
      1. Computabilidad, Decidibilidad y Enumerabilidad. Máquina de Turing.
      2. Funciones Recursivas.
      3. Lenguaje WHILE.
      4. Teorema de Equivalencia.
      5. Universalidad.
      6. Limitaciones formales de la computación.

       

      • PROFESORADO

        FRANCISCO JOSÉ VICO VELA

        PROFESOR DEL DEPARTAMENTO DE LENGUAJES Y CIENCIAS DE LA COMPUTACIÓN

        UNIVERSIDAD DE MÁLAGA

        • Propiedad intelectual

          Copyright 2015, autores y colaboradores. Reconocer autoría/Citar obra: VICO, F. (2015). Teoría de autómatas y lenguajes formales . Retrieved [fecha de hoy], from OCW Universidad de Málaga Web site: http://ocw.cv.uma.es/course/view.php?id=81

          Esta obra se publica bajo una licencia Licencia Creative Commons CC by NC SA