Lenguajes y Autómatas

 
1.- DATOS DE LA ASIGNATURA

Nombre de la asignatura: Lenguajes y Autómatas

Carrera: Ingeniería en Sistemas Computacionales

Clave de la asignatura: SCB-9324

Horas teoría-horas práctica-créditos 4-0-8

2.- UBICACIÓN DE LA ASIGNATURA

a). Relación con otras asignaturas del plan de estudio

Anteriores Posteriores
Asignaturas Temas Asignaturas Temas

Matemáticas Inteligencia Artificial. Representación

Discretas. Teoría de Conjuntos. interna de la
Funciones de inteligencia Artificial.
Conjunto. LISP.
Relacion Binarias Visión de la I.A.
Análisis Sintetico.
Deducción y Lógica.
Comprensión del
Lenguaje.
Organización de la
memoria.

b). Aportación de la asignatura al perfil del egresado

Esta materia proporcionará las bases tecnicas matemáticas para desarrollar y optimizar software de base.

3.- OBJETIVO(S) GENERAL(ES) DEL CURSO

Al finalizar el curso, el alumno comprenderá el funcionamiento de los Lenguajes y La Teoria de

Autómatas.
Lenguajes y Autómatas
 
4.- TEMARIO

Unidad Temas Subtemas

1 Introducción.
1.1 Conjuntos finitos e infinitos.

1.1.1 Alfabeto.

1.1.2 Propiedades de String.

1.1.2.1 Longitud.

1.1.2.2 Concatenación.

1.1.3 Lenguaje.

1.2 Representación finita del lenguaje.

2 Gramáticas. 2.1 Introducción a las gramáticas.

2.2 Estructuras de las gramáticas.

2.3 Clsasificación de las gramáticas (CHOMSKG).

2.3.1 Contexto sensitivo.

2.3.2 Sensible del contexto.

2.3.3 Estructura de fase.

2.4 Representación de gramáticas.

2.4.1 Notación de BNF.

2.4.2 Diagramas sintacticos.

3 Autómatas finitos.
3.1 Autómatas finitos determinísticos (AFD).

3.2 Autómatas finitos no determinísticos (AFND).

Lenguajes y Autómatas
 
3.3 Equivalencia de AFND y AFD.

3.4 Propiedades de los lenguajes aceptados por un autómata finito.

3.5 Autómatas finito de expresiones regulares.

3.6 Determinación de lenguajes regulares y no regulares.

4 Autómatas de push-down.
4.1 Definición.

4.2 Lenguajes aceptados por autómata PUSH-DOWN.

4.3 PDA determinístico.

4.4 PDA y CFL.

5 Maquinas de Turing. 5.1 Definición de maquina de Turing.

5.2 Funcionamiento de la maquina de Turing.

5.3 Lenguajes aceptados por la maquina de Turing.

5.4 Ejemplo de mayor fuerza de la maquina de Turing.

5.5 Extensiones de la mauina de Turing.

5.6 Maquina de Turing no determinística.

5.7 El problema HALFING para las maquinas de Turing.

6 Gramáticas y Autómatas. 6.1 Lenguajes regulares.

6.1.1 Teorema de Kleene.

6.1.2 Las aplicaciones del tema de Punping.

6.1.3 El teorema MGHILL.

6.2 Lenguajes de contexto libre.

Lenguajes y Autómatas
 
6.2.1 Forma normal EHUMSKG.

6.2.2 Lema de BARHILL el Punping.

6.2.3 Autómata de Pushdown.

6.2.4 Compilador de lenguajes formales.

6.2.5 Lenguajes Brackat.

6.3 Lenguajes de contexto sensitivo.

6.3.1 Autómata lineal Bounded.

6.3.2 Aspectos prácticos.

6.3.3 Ejemplificación con un lenguaje conocido.

7 Aplicaciones a lengujes. 7.1 Objetivos y flosofía de diseño de lenguajes de programación.

7.1.1 Comunicación humana.

7.1.2 Prevensión y detención.

7.1.3 Utilidad.

7.1.4 Eficiencia.

7.1.5 Independencia de la maquina.

7.1.6 Simplicidad.

7.1.7 Uniformidad.

7.1.8 Otras filosofías del diseño.

7.2 Diseño detallado.

7.2.1 Microestructuras.

7.2.2 Estructuras de expresión.

Lenguajes y Autómatas
 
7.2.3 Estructuras de datos.

7.2.4 Estructuras de control.

7.2.5 Estructuras del compilador.

7.2.6 Estructura I/O.

5.- APRENDIZAJES REQUERIDOS

• Matemáticas Discretas.

6.- SUGERENCIAS DIDÁCTICAS

• Exposición del maestro con sesión de preguntas y respuestas.

• Desarrollo de ejercicios (problemas) en clase y extraclase.
• Trabajos de investigación documentada.
• Desarrollo de practicas.

7.- SUGERENCIAS DE EVALUACION

• El alumno investigará la estructura de lenguajes comerciales.

• El alumno presentará resultados de sus investigaciones mediante la exposición ante el grupo.
• Aplicación de exámenes escritos.

NOTA: Los dos puntos anteriores deberan ser elaborados y enriquecidos por la Academia, en coordinación
con el Departamento de Desarrollo Academico.

8.- UNIDADES DE APRENDIZAJE

Unidad 1: INTRODUCCION

Fuentes de
Objetivo Educacional Actividades de Aprendizaje
Información

Definirá distinguirá y 1.1Distinguir entre conjuntos finitos e 1, 2, 3, 4

reconocerá los infinitos.
elementos básicos d
lenguaje. 1.2 Reconocer e identificar las características
del lenguaje y de el alfabeto.
Lenguajes y Autómatas
 
1.3 Extrapolar un alfabeto.

Unidad 2: GRAMATICAS

Fuentes de
Objetivo Educacional Actividades de Aprendizaje
Información

Definirá, distinguirá y 2.1Comprenderá que es una gramática. 2, 3,

reconocerá los
elementos de una 2.2 Adquirira los elementos principales de la
gramática. gramática.

2.3 Análisi de clasificación.

2.4 Representar gramáticas.

Unidad 3: AUTOMATAS FINITOS

Objetivo Fuentes de
Actividades de Aprendizaje
Educacional Información

Adquirirá los 1, 2, 3, 4
conocimientos 3.1 Reconocer un Automáta finito
necesarios para la determinístico.
aplicación de los
automátas en la 3.2 Reconocerá un automáta finito no
construcción de determinístico.
lenguajes.
3.3 Traducir un AFND a un AFD.

3.4 Deducir su lenguaje regular.

3.5 Relación entre automátas finito y

expresiones regulares.

3.6 Diferenciar entre un lenguaje regular u-o

ambiguo.
Lenguajes y Autómatas
 
Unidad 4: AUTOMATAS PUSH-DOWN

Objetivo Fuentes de
Actividades de Aprendizaje
Educacional Información

Adquirirá los 1, 2, 3, 4
conocimientos 4.1 El alumno conocerá las partes y
necesarios sobre funcionamiento de un PDA como dispositivo
automátas push- determinístico para el reconocimiento de un
down en el análisis lenguaje.
y construcción de
un lenguaje. 4.2 El alumno analizará los casos de lenguajes
aceptados por un PDA y por un CFL.

UNIDAD 5: MAQUINAS DE TURING

Objetivo Fuentes de
Actividades de Aprendizaje
Educacional Información

Explicará el 1, 2, 3, 4
funcionamiento de 5.1Conocerá los elementos, funcionamiento y
la mauina de aplicación de la maquina de Turing.
Turing.

UNIDAD 6: GRAMATICAS Y AUTOMATAS

Objetivo Fuentes de
Actividades de Aprendizaje
Educacional Información

Creará y 2, 3, 4
desarrollará 6.1Conocerá teorema para el diseño de
lenguajes en base a lenguajes.
gramáticas y
automátas. 6.2 Conocerá obras gramáticales para la
creación de lenguajes.

6.3 Conocerá el automáta lineal Bounded.

Lenguajes y Autómatas
 
UNIDAD 7: APLICACIONES A LENGUAJES

Objetivo Fuentes de
Actividades de Aprendizaje
Educacional Información

Diseñará un 1, 2, 3
lenguaje. 7.1Identificará los criterios de diseños de
lenguaje.

7.2 Aprenderá el diseño detallado de lenguajes.

9.- FUENTES DE INFORMACION

1.- Hopcroft, John and Ullman Jeffrey.

Introduction to Automatas Theor Languages and Computation.

2.- Harry R. Lewis, Chistos H. Papadimitrion.

Elementos of the Theory of Computation.
Prentice-Hall, Ing. 1981.

3.- V.S. Rayward-Smith.

A First Course in Formal Language Theory.

4.- Martin D. and Elaine J. Weyuker.

Computability, Complexity, and Languages.
Fundamentales of teorectical Computer Science.
Academic Preess, Ing. 1983.