CIENCIAS DE LA COMPUTACIÓN I

Año de estudio 4º AÑO

Tipo (troncal/obligatoria/optativa) NORMAL
Año 2013
Cuatrimestre (1ero, 2do, ambos) 1º CUATRIMESTRE
Departamento INFORMÁTICA Y TECNOLOGÍA
Área TEORÍA DE LA COMPUTACIÓN

Escuela de Tecnología | UNNOBA

DATOS ESPECÍFICOS DE LA ASIGNATURA

Conocimientos previos a valorar

Teoría de conjuntos –Funciones y relaciones – Lógica proposicional

Objetivos

 Introducir al alumno en la teoría de la computación.

 Que el alumno adquiera una visión abstracta de la computación (uso de
modelos).
 Que el alumno conozca herramientas conceptuales (autómatas, expresiones
regulares, gramáticas), útiles para el trabajo de los profesionales del área de
sistemas.
 Que el alumno pueda realizar sus propias demostraciones formales.

Metodología

El desarrollo de la asignatura está estructurado en clases teóricas y clases

netamente prácticas.
Las clases teóricas serán de carácter expositivo. En las mismas se expondrán
los fundamentos teóricos de los distintos temas contenidos en el programa.
En las clases prácticas los alumnos desarrollarán, con la guía de los JTP,
diversos trabajos prácticos donde aplicaran los conceptos adquiridos en las teorías.

Técnicas de evaluación

La aprobación de la cursada se alcanzará mediante la aprobación de dos

parciales escrito.

Escuela de Tecnología | UNNOBA

Programa

Unidad 1: Introducción a los lenguajes formales.

Definición, teorema, prueba. Demostraciones formales: deductivas, inductivas. Otras
formas de demostraciones formales. Conceptos centrales: alfabeto, cadenas y
lenguajes. Operaciones entre cadenas y lenguajes. Propiedades.

Unidad 2: Autómata finito y lenguajes regulares

Autómata finito: definición formal, diseño. Autómatas finitos como reconocedores de
lenguajes. Autómatas traductores. Autómatas determinísticos y no determinísticos.
Equivalencia. Minimización de autómatas. Expresiones regulares: operadores,
construcción, aplicación, propiedades. Equivalencia entre expresiones regulares y
autómatas finitos. Gramáticas regulares: definición formal, diseño, propiedades.
Equivalencia entre gramáticas regulares y autómatas finitos. Demostración de que un
lenguaje no es regular. Propiedades de clausura de los lenguajes regulares. Lema
Pumping.

Unidad 3: Autómata de pila y lenguajes libres del contexto

Autómata de pila: definición formal, diseño, aplicaciones. Gramáticas libres de
contexto: definición, derivaciones. Árboles de derivación. Gramáticas ambiguas. BNF
(Backus Naur Form). Equivalencia entre autómata de pila y gramática libre de
contexto. Lenguajes libres de contexto, propiedades.

Unidad 4: Máquina de Turing

Máquina de Turing: definición formal, diseño. Máquina de Turing como aceptadora de
lenguajes. Autómata linealmente acotado y lenguajes sensibles al contexto.
Gramáticas sensibles al contexto. Lenguajes estructurados por frases. Gramáticas.

Unidad 5: Jerarquía de Chomsky

Jerarquía de Chomsky. Relación entre clases de lenguajes formales. Relación entre
problemas y lenguajes. Lenguajes recursivos y recursivamente enumerables.

Escuela de Tecnología | UNNOBA

Bibliografía

Obligatoria:
 Hopcroft, J.; Motwani, R; Ullman, J. “Introducción a la teoría de autómatas,
lenguajes y computación” tercera edición. Pearson Education. (2007)

Complementaria:
 Sipser, Michael. “Introduction to the theory of computation”, second edition.
Thomson Course Technology. (2006)

Escuela de Tecnología | UNNOBA