UNIVERSIDAD NACIONAL DE TRUJILLO

FACULTAD DE CIENCIAS FISICAS Y MATEMATICAS

DEPARTAMENTO DE INFORMTICA
Sede Central
SILABO
I IDENTIFICACION

1. Experiencia curricular

: Lenguajes Formales y Autmatas

2.
3.
4.
5.

: Escuela Acadmico de Informtica.

: 2011.
: 2011 II

Para estudiantes de la carrera

Calendario acadmico
Ao/ Semestre curricular
Extensin horaria
5.1 Total horas semanales
Horas Teora
Horas de Laboratorio
5.2 Total horas ao/semestre

:6
:4
:2
: 96

6. Creditaje

:4

7. Organizacin del tiempo anual/ semestral

Unidades
Tipo de actividades

Total horas

II

III

7.1 Clases de enseanza-aprendizaje

42

17

20

7.2 Sesiones de evaluacin sumativa

54

19

16

19

Total horas

96

36

36

24

8. Departamento acadmico y Facultad: Informtica, Ciencias Fsicas y Matemticas.

9. Docente

: Ing. Jorge David Bravo Escalante

II FUNDAMENTACION Y DESCRIPCION
Esta asignatura tiene como cometido exponer los conceptos fundamentales de la Teora de
Autmatas y Lenguajes Formales. Definiremos el concepto de lenguaje siguiendo la
propuesta de Chomsky. Veremos y relacionaremos los principales enfoques para
representar lenguajes: mtodos generativos (gramticas) y mtodos por aceptacin
(autmatas). La presentacin de dichos conceptos ir encaminada a profundizar en los
aspectos ms aplicados como son el diseo de analizadores lxicos (lenguajes regulares)
y sintcticos (lenguajes incontextuales).

III APRENDIZAJES ESPERADOS

Se esperan los siguientes aprendizajes:
3.1 Que el alumno quede capacitado para conocer las aplicaciones de lo Lenguajes
Formales en diversas reas de de la ciencia y tambin en aplicaciones comerciales
3.2 Que el alumno explique los procedimientos fundamentales para especificar los
algoritmos de Lenguajes Formales
3.3 Que el alumno este en la capacidad de solucionar problemas que tengan que ver con
Lenguajes Formales

IV PROGRAMACION
UNIDAD N 1

1. Denominacin: Lenguajes y Autmatas Finitos

2. Inicio: 08/09/11 Trmino: 14/10/11

N de semanas: 6 semanas

3. Objetivos de Aprendizaje:
Comprender los principios fundamentales de los Autmatas Finitos
Estar en la capacidad de implementar los Autmatas Finitos
Aprender el rango de aplicaciones de los Autmatas Finitos
4. Desarrollo de la enseanza-aprendizaje:
Semana

Actividades y/o Contenido

Introduccin

Teora de lenguajes

Operaciones con lenguajes

Teora de autmatas: AFD

1er Avance de Proyecto de Curso

I Examen Parcial.

MMEE
Separata del
curso (impresa y
digital)
Listado de
Ejercicios
Diapositivas
Software de
Lenguaje de
Programacin.

5. Evaluacin sumativa del Aprendizaje:

Semana
25

Tcnica
Valoracin de desempeo en horas de Laboratorio.
Valoracin de desempeo en Trabajos de Investigacin.
Valoracin de desempeo en Trabajos Grupales.
Valoracin de Avance de Proyecto Curso.
Examen Parcial de la unidad: Prueba escrita

Instrumento
Escala de
Valoracin
Listado de
ejercicios
Escala de
Valoracin
Lista de Cotejos

UNIDAD N 2

6. Denominacin: Autmatas y Maquina de Turing

7. Inicio: 20/10/2011

Trmino: 25/11/2011

N de semanas: 6 semanas

8. Objetivos de Aprendizaje:
Comprender, implementar y evaluar Autmata Pila Maquina de Turing.
Comprender, implementar Maquina de Turing.
9. Desarrollo de la enseanza aprendizaje:
Semana

MMEE

Teora de autmatas: AFND

Conversin AFND a AFD

Autmata con Pila

10

Maquina de Turing Determinista y no Determinista

11

2do Avance de Proyecto de Curso.

12

II Examen Parcial.

Separata del
curso (impresa y
digital)
Listado de
Ejercicios
Diapositivas
Software de
Lenguaje de
Programacin.

10. Evaluacin sumativa del Aprendizaje:

Semana

7 - 11

12

Tcnica

Instrumento

Valoracin de desempeo en horas de Laboratorio.

Valoracin de desempeo en Trabajos de Investigacin.
Valoracin de desempeo en Trabajos Grupales.
Valoracin de Avance de Proyecto Curso.
Examen Parcial de la unidad: Prueba escrita

Escala de
Valoracin
Listado de
ejercicios
Escala de
Valoracin
Lista de Cotejos

UNIDAD N 3

11. Denominacin: Compiladores y JFlex.

12. Inicio: 01/12/2011

Trmino: 23/12/2011

N de semanas: 4 semanas

13. Objetivos de Aprendizaje:

Comprender los conceptos bsicos de Compiladores.
Conocer casos de extensin en la aplicacin de Compiladores.
14. Desarrollo de la enseanza aprendizaje:

Semana
13

Actividades y/o Contenido

Introduccin Compiladores.

14

Analizador lxico: Herramienta JFlex.

15

Proyecto Final de Curso.

16

III Examen Parcial.

MMEE
Diapositivas
Software de
Lenguaje de
Programacin

15. Evaluacin sumativa del Aprendizaje:

Semana

Tcnica

Instrumento
Escala de
Valoracin
Listado de
ejercicios

13 - 14

Valoracin de desempeo en horas de Laboratorio.

Valoracin de desempeo en Trabajos de Investigacin.
Valoracin de desempeo en Trabajos Grupales.

16 - 17

Valoracin de Avance de Proyecto Curso.

Examen Parcial de la unidad: Prueba escrita

Lista de Cotejos
Escala de
Valoracin

Examen Aplazado

Prueba Objetiva

17

V NORMAS DE EVALUACION
La evaluacin del curso se efectuara de acuerdo al Reglamento de Normas Generales del
Sistema de Evaluacin del Aprendizaje de los Estudiantes de la Universidad Nacional de
Trujillo.
5.1 Haber asistido al 70% del desarrollo del curso.
5.2 Participacin activa durante el desarrollo de la asignatura.
5.3 Los promedios parciales correspondientes a cada unidad de aprendizaje, PU1, PU2 y
PU3 esta dada por el promedio simple, sin redondeo, de las notas obtenidas en cada
unidad. El examen parcial tiene peso dos.
5.4 La Nota Promocional, NP, se obtiene mediante la frmula siguiente:

NP

PU 1 PU 2 PU 3
3

5.5 Si NP es mayor o igual a 10.5 entonces el alumno es aprobado en la asignatura. Caso

contrario, tendr derecho a rendir su examen de aplazado el cual versar el contenido
de todo el curso. La nota obtenida en este examen ser su nota final.

VI ASESORIA Y CONSULTA
1. Propsitos:
- Apoyar a los alumnos a despejar dudas en lo relacionado con el curso.

2. Estratgias de prestacin de servicios:

- Anlisis de conceptos y/o resultados obtenidos en clases.

3. Lugar y horrio semanal de consejeria:

- Pabelln de Informtica.

VII BIBLIOGRAFIA
Libros y Lecturas:

1. Alfonseca, M.; Sancho, J. y Martnez, M.: Teora de Lenguajes, Gramticas y

Autmatas. Ediciones Universidad y Cultura, Madrid, 1990.
2. Isasi, P.; Martnez, P. y Borrajo, D.: Lenguajes, Gramaticas y Automatas. Un
Enfoque Prctico. Addison-Wesley, 1997.
3. Hopcroft, J.E.; Ullman, J.D.: Introduction to Automata Theory, Languages and
Computation (2nd Edition). Editorial Addison-Wesley 2000.
4. Lewis, H.R.; Papadimitriou, C.H.: Elements of the Teory of Computation (2nd
Edition). Editorial Prentice Hall, 1997.
5. Sipser, M.: Introduction to the Theory of Computation. Ed. Thomson, 2006.

ADDENDA

PRESENTACION

RECEPCION

1. Docente: Ing. Jorge Bravo Escalante

1. Nombres y Apellidos: ___________

2. Fecha : _________________________
3. Firma

____________________________

: _________________________

2. Cargo : _____________________
3. Fecha : _____________________
4. Firma : _____________________

SUPERVISIN POR JEFATURA DE DEPARTAMENTO ACADMICO

LOGROS

SUGERENCIAS PARA LA MEJORA

Jefe: ________________________________

Firma: _______________________________

Fecha: ___________________