Detalle de Asignatura

Autómatas y Gramáticas

IN-3007 | 3º año | 2º Cuatr.

Volver al anexoIr al inicio

Horas Semanales

4

Horas Sincrónicas

60

Trabajo Independiente

90

Horas Totales

150

Información General

Código

IN-3007

Año

3º

Régimen

2º Cuatr.

Coef. Trabajo Independiente

1,50

Horas Formación Práctica

20

Objetivos

Introducir los fundamentos de la teoría de lenguajes formales y autómatas.

Comprender la jerarquía de Chomsky y la relación entre gramáticas y autómatas.

Identificar y explicar el concepto de Máquina de Turing como modelo básico de Computación.

Sentar bases teóricas para el estudio de compiladores.

Contenidos Mínimos

Lenguajes formales. Gramáticas y su clasificación. Jerarquía de Chomsky. Autómatas finitos deterministas y no deterministas. Expresiones regulares. Equivalencia entre autómatas finitos y expresiones regulares. Autómatas con pila y gramáticas libres de contexto. Introducción a máquinas de Turing.

Formación Práctica

Construcción de autómatas finitos para reconocer lenguajes sencillos. Transformación entre expresiones regulares y autómatas. Diseño de pequeñas gramáticas libres de contexto. Presentación de herramientas para análisis de autómatas y gramáticas a fin de validar resultados ( Ej. FJLAP).

Competencias Específicas

Sin registros asociados.

Competencias Genéricas

  • Identificar, formular y resolver problemas de ingeniería.
  • Utilizar de manera efectiva las técnicas y herramientas de aplicación en la ingeniería.
  • Aprender en forma continua y autónoma.
  • Comunicarse con efectividad.
  • Desempeñarse de manera efectiva en equipos de trabajo.

Ejes Transversales

  • Fundamentos para el aprendizaje continuo
  • Fundamentos para el desempeño en equipos de trabajo
  • Fundamentos para una comunicación efectiva
  • Identificación, formulación y resolución de problemas de ingeniería en sistemas de información/informática
  • Utilización de técnicas y herramientas de aplicación en la ingeniería en sistemas de información/informática

Descriptores

  • Autómatas y gramáticas

Correlativas Regularizadas para Cursar

  • IN-2009 - Organización y Arquitectura de Computadoras
  • IN-2002 - Paradigmas de Programación
  • IN-2008 - Estructuras de Datos y Algoritmos
  • IN-2007 - Matemática Discreta

Correlativas Aprobadas para Cursar

  • IN-1002 - Algoritmos y Programación
  • IN-1001 - Álgebra y Geometría Analítica
  • IN-1003 - Análisis Matemático I

Correlativas Aprobadas para Aprobar

  • IN-2009 - Organización y Arquitectura de Computadoras
  • IN-2002 - Paradigmas de Programación
  • IN-2008 - Estructuras de Datos y Algoritmos
  • IN-2007 - Matemática Discreta