ocw-uma-0067 - Teoría de autómatas y lenguajes formales

Acciones de Documento
  • RSS Feed
  • Enviar esto
  • Imprimir esto
  • Vista de contenidos
  • Marcadores (bookmarks)
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.

     

    Copyright 2009, Autores y colaboradores. Reconocer autoría/Citar obra. admin. (2015, October 08). Teoría de autómatas y lenguajes formales. Retrieved November 23, 2017, from OCW Universidad de Málaga Web site: http://ocw.uma.es/ingenierias/teoria-de-automatas-y-lenguajes-formales. Esta obra se publica bajo una licencia Licencia Creative Commons Licencia Creative Commons
    « Noviembre 2017 »
    Noviembre
    LuMaMiJuViDo
    12345
    6789101112
    13141516171819
    20212223242526
    27282930