/lf

Lenguajes Formales (UNO) / Lenguajes Formales y Autómatas (UNAHUR) / Teoría de la Computación (UADE)

Docentes

  • Titular: Mg. Ing. Pablo Pandolfo

  • UNO:

    • Adjunta: Lic. Silvia Cuagliarelli
    • Ayudante: Sr. Pablo Rechimon

  • UADE:

    • Ayudante: Ing. Fernando Basteiro

Objetivos

  • Conocer los fundamentos teóricos:
    • conceptos matemáticos formales fundamentales de la computación
    • uso de modelos para solucionar problemas
  • que subyacen los procesos de computación.

Distintos nombres

  • Lenguajes Formales
  • Autómatas y Lenguajes Formales
  • Teoría de la Computación
  • Sintaxis y Semántica de los lenguajes
  • Informática Teórica

Ramas de la Informática

  • Ingeniería de SW
  • Base de Datos
  • Sistemas Operativos
  • Redes
  • ...
  • Teoría de la Computación (a partir de la decada de 1930)
    • Teoría de los Lenguajes Formales
    • Teoría de Autómatas
    • Teoría de la Computabilidad
    • Teoría de la Complejidad Computacional
    • Teoría de los Lenguajes de Programación

Campos de aplicación en distintas áreas

  • Teoría de la comunicación
  • Teoría de control
  • Lógica de circuitos secuenciales
  • Diseño de computadoras
  • Reconocimiento de patrones
  • Buscadores textuales
  • Compiladores

Programa

  1. Introducción
  2. Lenguajes Regulares:
    1. GR
    2. ER
    3. AF
    4. Alg AF
  3. Lenguajes Incontextuales
    1. GIC
    2. AP
    3. LL/LR (solo UADE y UNO)
      1. LL
      2. LR
  4. Máquina de Turing
  5. Computabilidad y Complejidad computacional (solo UADE):
    1. Computabilidad
    2. Complejidad
  6. Otros autómatas (sólo UADE)

Bibliografía

Condiciones para aprobar

  • 75% asistencia
  • Aprobar 2 parciales con nota >= 4
  • TP (solo UNO)
  • Final con nota >= 4
  • Promoción UADE con ambos parciales nota >= 7