SÍLABO DEL CURSO

TEORÍA DE LA COMPUTACIÓN
FACULTAD DE INGENIERÍA
CARRERA DE INGENIERÍA DE SISTEMAS

1 DATOS GENERALES
1.1 Facultad : Ingeniería
1.2 Carrera Profesional : Ingeniería de Sistemas
1.3 Departamento : Ingeniería de Sistemas
1.4 Tipo de curso : Obligatorio
1.5 Requisitos : Matemática Discreta, Estructura de datos y algoritmos
1.6 Ciclo de Estudios :4
1.7 Duración del curso : 18 semanas
Inicio : 22 de marzo de 2010
Término : 24 de Julio de 2010
1.8 Extensión horaria : 3 horas semanales (3 horas de teoría)
1.9 Créditos :3
1.10 Período lectivo : 2010 – 1
1.11 Docente : Ing. David Wong Aitken.
dwa@upnorte.edu.pe
Ing. José Luis Peralta Luján
jpl@upnorte.edu.pe

2 FUNDAMENTACIÓN
El curso pertenece al área de formación general en ingeniería de sistemas y es de naturaleza
teórico práctica. El curso centra su interés en el estudio y definición formal de los cómputos. El curso
abarca las máquinas formales de estado finito, las gramáticas formales y la relación entre las dos
con el proceso de cómputo universal.

3 COMPETENCIA
Al finalizar el curso los alumnos estarán en la capacidad de entender el proceso computacional desde
el punto de vista matemático y formal, comprendiendo la importancia de las máquinas reducidas
(como las de estado finito) al proceso computacional moderno.

4 OBJETIVOS ESPECÍFICOS DEL CURSO

4.1. Entender el concepto de computación desde el punto de vista formal.
4.2. Comprender, analizar y diseñar máquinas de cómputo reducido basadas en autómatas finitos.
4.3. Comprender, analizar y diseñar máquinas de cómputo reducido basadas en gramáticas formales.

5 CONTENIDOS CONCEPTUALES
 Introducción al curso y conceptos básicos.
 Los autómatas finitos. Tipos. Conversión de autómatas y aplicabilidad.
 Las gramáticas como expresiones de lenguaje formal. Gramáticas formales y naturales,
taxonomía de gramáticas, jerarquía de chomsky.

6 CONTENIDOS PROCEDIMENTALES
 Aplica de forma eficiente el concepto de los autómatas y las gramáticas a problemas de la
ingeniería actual.
 Es capaz de construir correctamente un conversor de tipos de autómatas.
 Entiende el proceso algorítmico de conversión de gramáticas.
 Entiende el proceso computacional por medio de una máquina de Turing.

7 CONTENIDOS ACTITUDINALES
 Responsabilidad individual y colectiva.
 Disposición a la investigación y a la búsqueda de la información adicional.
 Actitud crítica y reflexiva para el análisis de problemas.
 Valoración de los conocimientos adquiridos.
 Disposición al trabajo en equipo.
 Disposición para recibir críticas del docente y sus compañeros.
Sílabo del Curso TEORÍA DE LA COMPUTACIÓN

8 METODOLOGÍA GENERAL DEL CURSO

El desarrollo del curso es teórico - práctico, los conocimientos adquiridos en las clases teóricas, son
aplicados y puestos a discusión en las prácticas para la verificación del mismo. Se empleará el
método inductivo y el deductivo, según el tema que se esté analizando.

9 PROGRAMACIÓN

UNIDAD SEM ACTIVIDAD

UNIDAD 1:
 Introducción al curso
El proceso computacional y la
1  El proceso computacional
computabilidad
(1 Semana)  La tesis de church-turing y el problema de la parada.

 Repaso de teoría de conjuntos

 Introducción pragmatica a las máquinas de estado finito.
2
 Máquinas de estado finito. Definición y propiedades
 Autómatas finitos (AF)
 Autómatas finitos no deterministas determinstas (ANFD) y deterministas
3
(AFD). Notación y formalización.

4 Evaluación escrita: Práctica calificada T1.

 Equivalencia y minimización de autómatas finitos.

5
UNIDAD 1:  Transformación de una ER en AFD
Máquinas de estados
(8 Semanas)
 Conversión de un AFND y AFND- a AFD
6
Trabajo T2: Aplicación de los AF en modelar un caso discreto.

7  Autómatas de pila

8
 Miscelánea de ejercicios

9 EXAMEN PARCIAL

FUENTES BIBLIOGRÁFICAS:
[1] Capítulo 1, 2 y 3
[2] Capítulo 2

10  Introducción a las gramáticas formales

 Limpieza y buena formación de gamáticas.

11
Trabajo T3: Investigación monográfica
12  La forma normal de Chomsky

 Trabajo T4: Exposición de gramáticas utilitaristas (informe y

13
presentación)
UNIDAD 2
Gramáticas formales
14  La forma normal de Greinbach

15  (Ajuste de calendario de clase)

16  Ejercicios de repaso

FUENTES BIBLIOGRÁFICAS:
[1] Capítulo 10
[2] Capítulo 11
17 EXAMEN FINAL
18 EXAMEN SUSTITUTORIO

10 SISTEMA DE EVALUACIÓN DEL CURSO

El cronograma de la evaluación continua del curso es el siguiente:

2
TEORÍA DE LA COMPUTACIÓN Semestre 2009-2

ESPECIFICACIÓN DE TRABAJOS DEL CURSO

T Descripción Semana
T1 Evaluación por escrito. 4
T2 Trabajo aplicativo: Aplicación de los AF en modelar el caso de una empresa. 6
T3 Trabajo monográfico. 11
T4 Cumplimiento de los ejercicios y participación efectiva (ver abajo). 13
T5 Trabajo final: Aplicación de las gramáticas en casos reales. 16

Para la calificación del T4 se procederá como sigue:

1. Cada día de clase se anunciarán ejercicios para los alumnos, los cuales deberán de realizar
en ése momento.
2. Una vez que el alumno o grupo la culmina, se acerca al profesor para corroborar que esté
bien hecha.
3. El profesor analizará el resultado y el procedimiento aplicado. Es criterio del profesor colocar
o no una participación en su registro, en base a si ha sido correctamente realizado.
4. Si procede, cada participación será anotada, junto con el dia realizado.
5. El puntaje T4 se obtiene de la siguiente manera:

T4 = ln(p) * f

De donde:

 p es la cantidad total de participaciones contabilizadas durante el curso por alumno.

 ln(p) es logaritmo natural o neperiano de p.
 este resultado se redondeará al entero mas próximo.

Para el factor f (que se redondea al milésimo), se calcula de la siguiente manera:

f = ln(m) / 20

Siendo m la cantidad más alta de participaciones de clase que registraron los alumnos.
Para efectos de estimación, puede calcularse en f  6.

El peso de cada T es:

EVALUACIÓN PESO (%) ESCALA VIGESIMAL

T01 10 1,2
T02 15 1,8
T03 20 2,4
T04 25 3,0
T05 30 3,6
TOTAL 100% 12

Los pesos ponderados de las clases de evaluación son los siguientes:

EVALUACIÓN PESO (%) ESCALA VIGESIMAL

PARCIAL 20 4
CONTINUA 60 12
FINAL 20 4
TOTAL 100% 20

La Evaluación Sustitutoria evalúa toda la temática desarrollada en el semestre y se rinde la semana

consecutiva al término de los exámenes finales y su nota reemplazará, necesariamente, a la nota de
un Examen (Parcial o Final) o a la nota de un T (Evaluación Continua), de tal manera que el resultado
final sea favorable al alumno.

3
Sílabo del Curso TEORÍA DE LA COMPUTACIÓN

De mediar el caso que hubieran alumnos que el promedio de la nota final de sus trabajos (Ts) y la del
examen parcial diera como resultado final nota aprobatoria, podrá pedir exoneración del examen final,
para lo cual se pondrá en dicho examen la nota 11 (once).

11 BIBLIOGRAFÍA OBLIGATORIA

# CÓDIGO AUTOR TITULO

1 006 HOPC Hopcroft, John E.. Introducción a la teoría de autómatas, lenguajes y computación
Teoría de la computación: lenguajes formales autómatas y
2 005.131 BROO Brookshear, J Glenn
complejidad

12 BIBLIOGRAFÍA RECOMENDADA

# AUTOR TITULO

1 Ramón Brena (Tec. Monterrey) Autómatas y lenguajes, un enfoque de diseño

Fundamentos de ciencia de la computación, lenguajes formales, computabilidad y
2 Gonzalo Navarro (UChile)
complejidad