1.

INFORMACION GENERAL
1.1. Facultad : Ingeniera
1.2. Departamento Acadmico : Sistemas, Estadstica e Informtica
1.3. Carrera profesional : Ingeniera de Sistemas
1.4. Asignatura : Teora de Lenguajes
1.5. Cdigo : 11Q178
1.6. Lnea Curricular : Ingeniera del Computador
1.7. Rgimen : Semestral
1.8. Ubicacin : Quinto Ciclo
1.9. Naturaleza : Obligatorio
1.10. Prerrequisito : Arquitectura del computador
1.11. Horas de teora : 2
1.12. Horas de prctica : 3
1.13. Crditos : 3
1.14. Semestre acadmico : 2014 - I
1.15. Fecha de inicio : 07 de Abril del 2014
1.16. Fecha de culminacin : 26 de Julio del 2014
1.17. Duracin : 16 Semanas

2. INFORMACION DEL DOCENTE
GRUPO A
2.1. Nombre : Sandra Cecilia Rodrguez vila
2.2. Telfonos : 976-638446
2.3. Ambiente de permanencia : 1B-206
2.4. Email : srodriguez@unc.edu.pe

GRUPO B
2.1. Nombre : Laura Sofa Bazn Daz
2.2. Telfonos : 988-561211
2.3. Ambiente de permanencia : 1B-206
2.4. Email : lbazan@unc.edu.pe

3. INTRODUCCION

Teora de Lenguajes es una asignatura de formacin profesional bsica de naturaleza terica-
prctica. Contribuye a que los estudiantes diseen e implementen un lenguaje de
programacin sencillo y las fases de traduccin de los mismos, indispensable en un sistema
computacional para poder ejecutar programas de diferentes complejidades.

El curso de Teora de Lenguajes es una coleccin de 5 unidades de estudio que en su
integridad permite conocer los fundamentos tericos y prcticos que intervienen en el diseo
de lenguajes de programacin y el proceso de traduccin (ensamble o compilacin) de los
programas escritos en estos lenguajes a lenguaje entendible por un sistema de computadora
(lenguaje de mquina) para que pueda ser ejecutado y el usuario (programador) obtenga los
resultados esperados. Las unidades de estudio son: Fundamentos de los lenguajes de
programacin y compiladores, Lenguajes Formales, Autmatas y Traductores, Anlisis Lxico
y Anlisis Sintctico.

UNIVERSIDAD NACIONAL DE CAJAMARCA
FACULTAD DE INGENIERIA
ESCUELA ACADEMICO PROFESIONAL DE INGENIERIA DE SISTEMAS

SILABO DE LA ASIGNATURA DE
TEORA DE LENGUAJES

Facultad de Ingeniera
Departamento de Sistemas, Estadstica e Informtica

EAPIS - 11Q178 SEMESTRE 2014-I Pgina 2 de 8
La metodologa que se emplear estar centrada en el estudiante quien desarrollar acciones
en el aula, asimismo se promover el desarrollo de las habilidades de pensamiento crtico y la
investigacin. La evaluacin es permanente.



4. COMPETENCIAS DE LA ASIGNATURA

4.1. Disea e implementa lenguajes de programacin sencillos y las fases principales del
proceso de traduccin (compilacin) de los mismos teniendo en cuenta los fundamentos
de la Teora de Lenguajes para proponer soluciones tecnolgicas en sistemas de
informacin de cualquier ndole.


5. VALORES GENERALES ANTE LA ASIGNATURA

7.1 Asiste puntualmente a las sesiones de clases.
7.2 Demuestra un comportamiento honesto.
7.3 Demuestra responsabilidad y respeto.
7.4 Participa constantemente con actitud proactiva.
7.5 Manifiesta una constante superacin personal y acadmica.
7.6 Demuestra una predisposicin para el trabajo en equipo

6. PROGRAMACION ACADEMICA

6.1. PRIMERA UNIDAD DE APRENDIZAJE

A. NOMBRE DE LA UNIDAD: Fundamentos de los Lenguajes de Programacin y
Compiladores

B. DURACIN: 2 semanas

C. CAPACIDADES:

1. Compara los lenguajes de programacin con los lenguajes naturales y el proceso
de compilacin con el proceso de traduccin teniendo en cuenta su experiencia,
sintetizando los aportes ms importantes tanto de la evolucin y clases de los
mismos.
2. Define conceptos bsicos relacionados con el proceso de compilacin.
3. Describe las caractersticas principales de los diferentes tipos de compiladores.
4. Representa grficamente implementaciones de un compilador empleando la
notacin en T

D. CONTENIDOS:

COD.
CAPAC
SESIN CONCEPTUALES PROCEDIMENTALES ACTITUDINALES
1





1-2



Presentacin del
slabo.

1. Introduccin.
Lenguajes de
programacin y
lenguajes naturales.
Proceso de
compilacin y
proceso de


Participa en un dilogo acerca
de su experiencia prctica en
el empleo de lenguajes de
programacin y lenguajes
naturales y el proceso de
compilacin y traduccin.
Lee separata y esquematiza
de la evolucin y clasificacin
1. Asiste puntualmente
a las sesiones de
clases.
2. Demuestra un
comportamiento
honesto.
3. Demuestra
responsabilidad y
respeto.
4. Participa
Facultad de Ingeniera
Departamento de Sistemas, Estadstica e Informtica

EAPIS - 11Q178 SEMESTRE 2014-I Pgina 3 de 8
Traduccin.
Evolucin y
clasificacin de los
lenguajes de
programacin.
Sistemas formales.

de los lenguajes de
programacin.
Elabora un resumen sobre sus
propias definiciones de
lenguajes de programacin.

constantemente con
actitud proactiva.
5. Manifiesta una
constante
superacin personal
y acadmica.
6. Demuestra una
predisposicin para
el trabajo en equipo.
2-4 3-4 2. Estructura de un
compilador.
Conceptos
fundamentales y
fases del proceso
de compilacin.
Notaciones grficas
para describir
implementaciones.
Lee separata de la estructura
de un compilador (conceptos,
fases y notaciones graficas)
Expone a sus compaeros
explicando a travs de un
esquema y/o resumen las
caractersticas mas
importantes y el proceso de
compilacin.
Elabora diagramas para
representar la implementacin
de un compilador.

6.2. SEGUNDA UNIDAD DE APRENDIZAJE

A. NOMBRE DE LA UNIDAD: Lenguajes Formales

B. DURACIN: 2.5 semanas

C. CAPACIDADES:

5. Identifica los elementos, operaciones bsicas y los componentes que definen un
lenguaje formal considerando la nocin de gramtica de Noam Chomsky.
6. Determina lenguajes definidos por la gramtica de contexto libre haciendo las
derivaciones correspondientes.
7. Transforma una gramtica en una gramtica equivalente bien definida y formada
8. Normaliza una gramtica teniendo en cuenta las formas normales.




D. CONTENIDOS:


COD.
CAPAC
SESIN CONCEPTUALES PROCEDIMENTALES ACTITUDINALES
5 5 3. Lenguajes y
Gramticas
Formales. Tiras y
lenguajes. Nocin
de gramtica.

Estudia Lenguajes y
gramticas formales.
Organiza la informacin
estudiada y la explica a sus
compaeros.
Resuelve ejercicios de
Lenguajes y Gramticas.
1. Asiste puntualmente a las
sesiones de clases.
2. Demuestra un
comportamiento honesto.
3. Demuestra
responsabilidad y
respeto.
4. Participa constantemente
con actitud proactiva.
5. Manifiesta una constante
superacin personal y
acadmica.
6. Demuestra una
predisposicin para el
trabajo en equipo.
6 6 4. Gramtica de
contexto libre.

Analiza material de apoyo
sobre Gramticas de contexto
libre.
7 7 5. Propiedades de
la gramtica de
contexto libre.

Estudia y aplica las
propiedades de la gramtica
de contexto libre.

8 8 6. Formas
Normales
Con ayuda de material de
apoyo, identifica las formas
Facultad de Ingeniera
Departamento de Sistemas, Estadstica e Informtica

EAPIS - 11Q178 SEMESTRE 2014-I Pgina 4 de 8
normales.
1-8 9 7. Primera prctica
calificada.
Resuelve la prueba escrita.

6.3. TERCERA UNIDAD DE APRENDIZAJE

A. NOMBRE DE LA UNIDAD: Autmatas y Traductores
B. DURACIN: 5 semanas

C. CAPACIDADES:
7. Determinar expresiones regulares que permitan representar lenguajes definidos
por una gramtica regular teniendo en cuenta sus propiedades y teoremas.
8. Construir autmatas ptimos, definiendo cada uno de sus elementos formales
segn la clase a la que pertenecen que permitan reconocer lenguajes definidos
por una gramtica del tipo 2 o 3.
9. Construir traductores, definiendo cada uno de sus elementos formales segn la
clase a la que pertenecen que permitan reconocer y traducir lenguajes definidos
por una gramtica del tipo 2 o 3.

D. CONTENIDOS:

COD.
CAPAC
SESIN CONCEPTUALES PROCEDIMENTALES ACTITUDINALES
9 10 8. Expresiones
regulares.

Disea expresiones regulares
para representar patrones
lxicos y determina el lenguaje
formal representado.
1. Asiste puntualmente a las
sesiones de clases.
2. Demuestra un
comportamiento honesto.
3. Demuestra
responsabilidad y
1respeto.
4. Participa constantemente
con actitud proactiva.
5. Manifiesta una constante
superacin personal y
acadmica.
6. Demuestra una
predisposicin para el
trabajo en equipo.
10 11 9. Autmatas.
Tipos.
Analiza material de apoyo de
Mquinas reconocedoras.
Compara los tipos de
autmatas por gramtica.
12-13 10. Autmatas
Finitos.
Diagrama de
estados. AFD y
AFND.
Paso de una
GR a un AF

Disea autmatas finitos para
reconocer lenguajes regulares
y determina el lenguaje formal
representado.
Resuelve problemas en
pequeos grupos sobre
transformar un AFND en un
AFD equivalente. Paso de una
GCL a un AP
Sustenta las soluciones que
obtiene.
14-15

11. Autmatas con
pila.
Representacin
Grfica.
Paso de una GCL a
un AP.

Disea autmatas con pila
para reconocer lenguajes de
contexto libre y determina el
lenguaje formal representado.
Resuelve problemas en
pequeos grupos sobre Paso
de una GCL a un AP
Sustenta las soluciones que
obtiene.
1-10 16 12. Examen Parcial-
1 y 2 unidades.

Resuelve la prueba escrita
11 17 13. Mquinas
traductoras.
Sistemas de
traduccin.
Analiza material de apoyo de
Mquinas traductoras.
Compara los tipos de
traductores.
Facultad de Ingeniera
Departamento de Sistemas, Estadstica e Informtica

EAPIS - 11Q178 SEMESTRE 2014-I Pgina 5 de 8
Traductores finitos

Disea traductores finitos y
determina el lenguaje de
traduccin.
18 14. Traductores con
pila.


Disea traductores con pila y
determina el lenguaje de
traduccin

19 15. Esquemas de
Traduccin
Disea esquemas de
traduccin y determina el
lenguaje de traduccin

6.4. CUARTA UNIDAD DE APRENDIZAJE

A. NOMBRE DE LA UNIDAD: Anlisis Lxico

B. DURACIN: 1.5 semanas

C. CAPACIDADES:

10. Comprende la fase de anlisis lxico como componente inicial del proceso de
compilacin, teniendo en cuenta sus principales funciones y las diferentes
formas de implementarlo.

D. CONTENIDOS:

COD.
CAPAC
SESIN CONCEPTUALES PROCEDIMENTALES ACTITUDINALES
12




20



16. Anlisis Lxico.
Funciones del
anlisis lxico.
Analiza el material de apoyo
de Anlisis Lxico y sus
funciones.
Organiza la informacin
estudiada y la explica a sus
compaeros.
1. Asiste
puntualmente a
las sesiones de
clases.
2. Demuestra un
comportamiento
honesto.
3. Demuestra
responsabilidad
y respeto.
4. Participa
constantemente
con actitud
proactiva.
5. Manifiesta una
constante
superacin
personal y
acadmica.
6. Demuestra una
predisposicin
para el trabajo
en equipo.
21 17. Elementos del
anlisis lxico.
Representacin e
implementacin de
un autmata.

Identifica los elementos del
anlisis lxico.
Analiza la representacin de
un autmata para su
implementacin.

22 18. Avance de
presentacin de
software.

Aplica los conocimientos
adquiridos en proyecto de
software.

6.5. QUINTA UNIDAD DE APRENDIZAJE

A. NOMBRE DE LA UNIDAD: Anlisis Sintctico

B. DURACIN: 5 semanas

C. CAPACIDADES:

Facultad de Ingeniera
Departamento de Sistemas, Estadstica e Informtica

EAPIS - 11Q178 SEMESTRE 2014-I Pgina 6 de 8
13. Comprende la fase de anlisis sintctico en el proceso de compilacin, segn los
diferentes tipos de anlisis, funciones y elementos.
14. Determina las relaciones de precedencia simple y del operador segn la forma de
la gramtica que se analiza en forma ascendente.
15. Comprende al anlisis LR realizando el reconocimiento y traduccin al parse
correspondiente
16. Reconoce gramticas LL(k) teniendo en cuentas las condiciones establecidas
formalmente.

D. CONTENIDOS:

COD.
CAPAC
SESIN CONCEPTUALES PROCEDIMENTALES ACTITUDINALES
13 23

20. Anlisis
Sintctico. Anlisis
Descendente.
Anlisis
Ascendente.
Estudia el Anlisis Sintctico,
funciones y elementos.
Resuelve gramticas
utilizando anlisis
descendente y ascendente.
1. Asiste
puntualmente a
las sesiones de
clases.

2. Demuestra un
comportamiento
honesto.

3. Demuestra
responsabilidad
y respeto.

4. Participa
constantemente
con actitud
proactiva.

5. Manifiesta una
constante
superacin
personal y
acadmica.

6. Demuestra una
predisposicin
para el trabajo
en equipo.
24 21. El problema del
retroceso.
Resuelve casos de retroceso
para anlisis ascendente y
descendente.
11 - 13
25 22. Segunda
prctica calificada.

Resuelve prueba escrita.
14 26 23. Presentacin de
Software.
Explica los conocimientos
adquiridos en proyecto de
software.
27 24. Anlisis
Sintctico
Ascendente.
Relaciones.

Estudia el anlisis sintctico
ascendente. Relaciones.
27 25. Precedencia
Simple.

Resuelve casos de
precedencia simple.
28 26. Precedencia de
operador.
Resuelve casos de
precedencia de operador.
15 29 27. Anlisis LR. Analiza el material de apoyo
de Anlisis LR.
Organiza la informacin
estudiada y la explica a sus
compaeros.
16 30 28. Anlisis
Sintctico
Descendente.
Gramticas LL(k). S-
Gramticas.
Gramticas LL(1)
simples.
Condiciones de
Knuth.


Analiza el material de apoyo
de Anlisis Descendente.
Resuelve ejercicios de
gramticas LL(k) y S-
gramticas.
Resuelve ejercicios de
gramticas LL(1).
Verifica condiciones de Knuth.
11 - 16
31 Examen Final de 3
y 4 unidad.

Resuelve prueba escrita.
1 - 16 32 Examen de
Aplazados.
Resuelve prueba escrita.

Facultad de Ingeniera
Departamento de Sistemas, Estadstica e Informtica

EAPIS - 11Q178 SEMESTRE 2014-I Pgina 7 de 8

7. EVALUACION

La evaluacin de la presente asignatura es de carcter integral donde se evaluarn los
conocimientos adquiridos, su aplicacin prctica y las actitudes frente al desarrollo de la
asignatura, teniendo en cuenta los siguientes aspectos:

PI = Proyecto de investigacin y/o software de la asignatura (0.20)
PPC= Promedio prcticas (0.15) y/o trabajos, ejercicios (0.05) (0.20)
EA = Evaluacin actitudinal (0.10)
EP = Evaluacin parcial (0.25)
EF = Evaluacin final (0.25)
PF =0.25*EP+0.25*EF+0.20*PPC+0.10*EA+0.20*PI

Todas las calificaciones son en escala vigesimal.
Las fracciones iguales o superiores a 0.5 se consideran como unidad (en el Promedio
Final
En casos excepcionales se podr tomar un examen de recuperacin de carcter
sustitutorio, la calificacin obtenida reemplazar obligatoriamente a la menor
evaluacin de los exmenes parcial o final.
El estudiante estar en la condicin de inhabilitado con 30% o ms de inasistencias
del nmero real de sesiones desarrolladas en el ciclo, no teniendo derecho a rendir
al examen de aplazados.
Los calificativos con NP (No se present), equivale a cero (0). Las faltas justificadas o
no justificadas se toman como inasistencias para calcular el porcentaje de inhabilitado;
en caso se tramite la justificacin respectiva solamente se recupera la evaluacin no
rendida.
Se consideraran las asistencias como PRESENTE cuando el estudiante asista a la
sesin completa, de lo contrario ser considerada como INASISTENCIA o FALTA.
La nota promocional mnima es de 10.5 (equivalente a once).
Solamente tienen derecho a rendir el examen de aplazados los estudiantes con
promedio promocional desaprobatorio, igual o mayor a 6.
El examen de aplazados incluir todos los contenidos del curso tanto de teora como
de prctica. La nota del examen de aplazado es la nota promocional del curso (La
calificacin mxima a obtener es once).

8. ESTRATEGIAS METODOLOGICAS

De acuerdo con la naturaleza del curso, sus contenidos sern desarrollados en diferentes
niveles de aprendizajes aplicacin, anlisis, sntesis y evaluacin a travs de actividades
diseadas para mejorar el aprendizaje. Se pondr mucho nfasis en mtodos activos y de
aprendizaje significativo, entre otras se usaran las siguientes estrategias metodolgicas:

1.1. Panel
El estudiante participa en una conversacin o desarrolla una exposicin, con rplicas
ordenadas y pblicas, que permitan seleccionar criterios, adquirir habilidades de
argumentos y elaborar juicios sustentables.
1.2. Conferencia
El docente desarrolla los temas programados en el curso, con apoyo de presentaciones y
lecturas preparadas especialmente para este fin.
1.3. Asesora y laboratorio
El estudiante se enfrenta a casos de aplicacin prctica y que demanda un trabajo
analtico en la aplicacin de las diferentes metodologas y habilidades en la utilizacin de
las herramientas de software.
1.4. Trabajo en pequeos grupos
Facultad de Ingeniera
Departamento de Sistemas, Estadstica e Informtica

EAPIS - 11Q178 SEMESTRE 2014-I Pgina 8 de 8
El estudiante debate, asimila, demuestra tolerancia con la finalidad de enriquecer el
resultado del trabajo aplicado a un caso dentro de una organizacin empresarial.
1.5. Desarrollo de casos
El estudiante debate, asimila y discute aspectos relevantes relacionados con casos de
estudio asignados.


9. MATERIALES EDUCATIVOS Y OTROS RECURSOS DIDACTICOS

Humanos: Estudiantes, docentes, organizaciones y comunidad.
Materiales: Programas multimedia, separatas, guas de enseanza, casos de estudio,
lecturas, entre otros.
Recursos: Aula de clases, Laboratorios, Proyector multimedia, Publicaciones en web, Pizarra
acrlica, Computador.

10. ASESORIA ACADEMICA

La asesora acadmica es una actividad peridica a travs de la cual se brinda apoyo a los
estudiantes para que desarrollen actividades de consulta para lograr la cabal compresin de
los diferentes temas de estudio. Est basada en consultas que el docente, fuera de su horario
de clases, puede apoyar al estudiante sobre temas especficos de su dominio, previa
coordinacin.

11. TUTORA

Es el proceso de acompaamiento personal, acadmico y administrativo permanente del
estudiante, centrado en el logro de una formacin integral que se oriente a identificar de
manera conjunta con el estudiante, los factores y situaciones que dificultan el aprendizaje,
desarrollando estrategias de apoyo para evitar el rezago y la desercin, para elevar la
eficiencia terminal y favorecer el desarrollo de las competencias en los estudiantes.
La tutora se implementar gradualmente alineada al plan del sistema de tutora.


12. BIBLIOGRAFIA

[1] AHO SETHI & ULLMAN Aho, Compiladores: Principios, Tcnicas y Herramientas. 2008. Mxico.
Pearson Educacin de Mxico S.A.
[2] LLORCA Sanchis y PASCUAL Galn. Compiladores. Teora y construccin. 2000. Madrid. Editorial
Paraninfo.
[3] ALFONSECA Enrique, ALFONSECA Manuel y MORIYON Roberto. Teora de Autmatas y
Lenguajes Formales. 2007. Madrid. Editorial Mc Graw Hill.
INTERNET
[4] Cueva, L. J. M. (n.d.). Procesadores de Lenguajes. Obtenida el 13 de marzo de 2011, de
http://www.di.uniovi.es/procesadores/
SITIO UNC: Ing. Sandra Rodrguez Avila
[5] https://sites.google.com/a/unc.edu.pe/srodriguez/teoria-de-lenguajes-2014-1
SITIO UNC: Ing. Laura Bazn Diaz
[6] https://sites.google.com/a/unc.edu.pe/laurabazan/cv-2012/teoria-de-lenguajes

Cajamarca, Marzo del 2014.