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

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

     

    Competencias genéricas

     

    Competencias específicas


    Contenidos

    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.

     

    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.

     

    Citation: admin. (2015, October 08). Teoría de autómatas y lenguajes formales. Retrieved November 25, 2017, from OCW Universidad de Málaga Web site: http://ocw.uma.es/ingenierias/teoria-de-automatas-y-lenguajes-formales.
    Copyright 2009, by the Contributing Authors. This work is licensed under a Creative Commons License. Creative Commons License