UNIVERSIDAD NACIONAL DEL ALTIPLANO - PUNO

SLABO
FACULTAD : INGENIERA MECNICA ELCTRICA, ELECTRNICA Y SISTEMAS
ESCUELA PROFESIONAL : INGENIERA DE SISTEMAS

I. IDENTIFICACIN ACADMICA

1.1. Asignatura:
a. Nombre : Teora de Lenguajes y Autmatas
b. Cdigo : SIS228
c. Pre-requisito : Ninguno.
d. Nmero de horas : Tericas: 2h Prcticas: 2h Total: 4h
e. Crditos :3
f. Ao y Semestre Acadmico : 2017-II
g. Semestre del Plan de Estudio : IV
h. Duracin de la asignatura : Del 21 de agosto al 22 de diciembre del 2017.
i. rea Curricular : Formacin Especializada.
j. Condicin : Obligatorio
k. Grupo :B
1.2. Docente:
a. Nombres y Apellidos : Ing. Alodia Flores Arnao
b. Condicin y Categora : Contratado Auxiliar a Tiempo Parcial
c. Especialidad : Ingeniera de Sistemas.

1.3. Ambiente donde se realiza el aprendizaje

a. Aula 103 de la EPIS.
b. Laboratorio N 2 de la EPIS.

II. SUMILLA

El curso es esencial para comprender la importancia de los lenguajes y su clasificacin: Conocer los problemas
que puede resolver un computador a travs de diversos modelos de computacin, saber qu tan rpido se
puede computar (calcular). Los conceptos adquiridos conforman los fundamentos de la ciencia de la
computacin, tambin servirn para profundizar los temas en el curso de Compiladores (construccin de
analizador lxico, sintctico y generador de cdigo). Anualmente se desarrolla la conferencia internacional:
Language and Automata Theory and Applications (LATA).

III. CONTENIDOS TRANSVERSALES

Los contenidos transversales considerados para el desarrollo de la asignatura son los siguientes:
- Desarrollo de una cultura de comunicacin e informacin.
- Formacin tica y compromiso social.

IV. COMPETENCIAS
A. COMPETENCIA 1:
Define y conoce lenguajes regulares, autmatas finitos, lenguajes libres del contexto, autmatas de pila,
utilizando diversos principios y tcnicas, actuando con creatividad y eficiencia.
B. COMPETENCIA 2:
Conoce la Mquina de Turing y sus modelos, gramticas sensibles al contexto, lenguajes
decidibles/aceptables y computabilidad, actuando con responsabilidad, puntualidad.
V. TRATAMIENTO POR UNIDADES DIDCTICAS

5.1. PRIMERA UNIDAD DIDCTICA: Lenguajes Regulares y Autmatas. Lenguajes Libres de Contexto.
Tiempo de Desarrollo: Del 21 de agosto al 10 de noviembre del 2017 Total Horas: 30 horas.
INDICADORES % DE INDICAROR TCNICAS E
CAPACIDADES CONOCIMIENTOS ACTITUDES
DE LOGRO AVANCE DE LOGRO INTRUMENTOS

Utiliza principios Evala los - Demostraciones 2h 5% Responsabilidad. Asiste Prcticas.

y tcnicas de autmatas y formales. puntualmente
lenguajes realiza - Alfabetos y 4h 10% Iniciativa. a las Examen escrito.
regulares y equivalencias cadenas. sesiones de
autmatas entre los AFND - Autmata finito 4h 15% Orden. clase. Intervenciones
finitos, con y los AFD. determinista y no orales.
dominio de determinista Trabajo en Presenta
expresiones Conoce las aplicaciones. equipo. puntualmente Observacin.
regulares, expresiones - Equivalencia 4h 20% las tareas
determinismo y regulares, sus entre AFND y asignadas. Tareas
no aplicaciones. AFD. encargadas.
determinismo y Define - Expresiones 4h 25%
equivalencias. ambigedad. regulares, Exposicin.
Conoce las aplicaciones y
Utiliza principios GLC. propiedades.
de los lenguajes - Propiedades 4h 30%
libres del algortmicas de
contexto y los lenguajes
autmatas de regulares.
pila, con - Gramticas libres 4h 40%
dominio de del contexto.
gramticas Derivacin,
libres del aplicaciones.
contexto, - Ambigedad. 4h 50%
anlisis Lenguajes libres
sintctico. del contexto
Fecha y Hora de Evaluacin de la unidad: 10 de noviembre del 2017 5:00 p.m.

5.2. SEGUNDA UNIDAD DIDCTICA: Autmatas de pila y la Mquina de Turing.

Tiempo de Desarrollo: Del 13 de noviembre al 22 de diciembre del 2017 Total Horas: 24 horas.
% DE TCNICAS E
INDICADORE CONOCIMIENTO INDICAROR
CAPACIDADES AVANC ACTITUDES INTRUMENTO
S DE LOGRO S DE LOGRO
E S

Utiliza principios de Realiza - Autmatas de 4h 55% Eficiencia. Asiste Prcticas.

autmatas de pila, equivalencias pila. puntualment
equivalencias, la entre los Equivalencia Responsabilidad e a las Examen
Mquina de Turing y autmatas. entre los . sesiones de escrito.
computabilidad, con autmatas de clase.
dominio de los Conoce la pila y Puntualidad. Intervenciones
modelos de Mquina de gramticas orales.
mquina de Turing, Turing y sus libres del Trabajo en Presenta
gramticas modelos. contexto. equipo. puntualment Observacin.
sensibles al Define Propiedades de e las tareas
contexto, lenguajes computabilidad las GLC. asignadas. Tareas
decidibles/aceptable . - Uso de La 4h 65% encargadas.
s y computabilidad. Mquina de
Turing, Exposicin.
variaciones del
modelo.
Extensiones.
Mquinas de
Turing y las
computadoras.
- Gramticas 4h 70%
dependientes al
contexto.
- La Mquina 4h 80 %
 Universal de
Turing.
- Lenguajes 4h 90%
decidibles y
aceptables.
- Problema de la 4h 100%
parada. Tesis
de Church.
Fecha y Hora de Evaluacin de la unidad: 22 de diciembre del 2017 5:00 p.m.

VI. ESTRATEGIAS
a. Estrategias de enseanza
- Conceptualizacin.
- Trabajo en equipo.
- Demostraciones prcticas.
- Estudio de casos.
b. Estrategias de aprendizaje
- Aprendizaje basado en resolucin de problemas.
- Observacin e interpretacin de hechos y situaciones concretas.
- Trabajo en equipo.
c. Estrategias de investigacin formativa
- Indagacin de fuentes de informacin.

VII. MEDIOS Y MATERIALES DIDCTICOS

- Auditivos: Palabra hablada.
- Audiovisuales: Videotutoriales.
- Visuales: Guas y apuntes (www.huajsapata.com/moodle), diapositivas, plataforma virtual.

VIII. EVALUACIN DEL APRENDIZAJE

8.1. Criterios de Evaluacin
El estudiante deber cumplir con los siguientes requisitos:
- Haber participado en todas las evaluaciones programadas con fecha previamente anticipada.
- Haber asistido regularmente a las sesiones de clases tericas y prcticas programadas al 80%.
- Haber obtenido una calificacin mayor o igual a 10.5 para aprobar la asignatura.
8.2. Calificacin
- Paran los promedios parciales se utilizar la siguiente frmula:
(3) + (2) + (1)
=
6
Donde:
EC: Evidencia de conocimiento.
ED: Evidencia de desempeo.
EP: Evidencia de producto.

- El promedio final (PF) del logro de aprendizaje de la competencia prevista de la asignatura o

componente curricular se obtiene aplicando las siguientes frmulas, segn el nmero de promedio
parciales.
+
=
2

Donde:
IPP: Primer promedio parcial
IIPP: Segundo promedio parcial
IX. BIBLIOGRAFA GENERAL

Alfonseca E. (2007). Teora de Autmatas y Lenguajes Formales. Madrid: McGraw-Hill Interamericana de

Espaa.
Cases R. & Mrquez L. (2002). Leguajes, Gramticas y Autmatas. Curso Bsico. Mxico D.F.: Alfaomega.
Gir J. (2015). Lenguajes Formales y Teora de Autmatas. Buenos Aires, Argentina: Alfaomega Grupo Editor
Argentino.
Hopcroft J. E. (2007). Teora de Autmatas, Lenguajes y Computacin. Pearson Addison Wesley.
Hopcroft J. E. & Ullman J. D. (1993). Introduccin a la Teora de Autmatas, Lenguajes y Computacin. Addison
Wesley.
Jurado E. (2008). Teora de Autmatas y Lenguajes Formales. Universidad de Extremadura. Espaa.
Kelley, Dean. (1995). Teora de Autmatas y Lenguajes Formales. Pretince Hall.
Lewis, H. R. & Papadimitriou, C. H. (1998). Elements of the Theory of Computation. Pretince Hall.
Papadimitriou, Christos H. (1994). Computational Complexity. Addison Wesley Publishing Company.