Page 1

VICERRECTORIA ACADÉMICA Unidad de Virtualización

TEORÍA DE LENGUAJES FORMALES Programa Ingeniería de Sistemas y Computación 2012

Docente: Lina María Castro Benavides Correo electrónico:lmcastro@uniquindio.edu.co Apreciado estudiante, Sea usted bienvenido a la Unidad 3. Lenguajes Regulares del Espacio Académico Teoría de Lenguajes Formales. En esta unidad adquirirá conocimientos sobre los Lenguajes Regulares

UNIDAD III: LENGUAJES REGULARES Duración: 7 Semanas Querido estudiante sigue abierto el Foro Navegación Moodle, donde podemos compartir inquietudes, logros y sugerencias desde su manejo. Así también, continuaremos compartiendo de manera informal en el Foro CafeAVA.

Presentación En esta unidad se introducen los primeros conceptos de la Teoría de Autómatas y Lenguajes Formarles. Específicamente, se tratan los conceptos de alfabeto, palabra, lenguaje y las operaciones y relaciones entre ellos.

Justificación Para que el estudiante comprenda lo que es un lenguaje es necesario que conozca notaciones específicas y como se compone un lenguaje.

Guía Unidad 3. Lenguajes Regulares

1


Pregunta Problematizadora ¿Por qué las características de un Lenguaje Regular permiten definir los tokens de un lenguaje de Programación?

Objetivos • •

Comprender lo que es un lenguaje regular, cómo se compone, sus operaciones y relaciones Crear un Lenguaje Regular que permita definir los tokens de un Lenguaje de Programación

Contenidos • • • • • •

Lenguajes regulares y expresiones regulares Autómata finito determinista (AFD) AFD y lenguajes Autómata finito no determinista (AFN) Equivalencia de AFN y de AFD Aplicaciones de las expresiones regulares y de los autómatas finitos

Recursos • • • •

Videos sobre actividades Consulta Tarea Lecturas complementarias

Guía Unidad 3. Lenguajes Regulares

2


Proceso

Lea primero TODOS los pasos de este PROCESO, antes de realizarlos. Así tendrá una visión global de lo que debe desarrollar y el tiempo disponible para entregar resultados.

Interactividades e Interacciones paso a paso Apreciado estudiante, para llevar a cabo las actividades relacionadas con esta Tercera unidad, usted debe seguir los siguientes pasos: Del 24 de Febrero al 1 de Marzo

Lenguajes regulares y expresiones regulares Primero. Inicie la Lectura del Material del Curso Lenguajes Regulares, en la Etiqueta UNIDAD 3, en el Enlace Lenguajes Regulares. Igualmente, puede descargar el material en archivo PDF, que podrá revisar off-line. Adicionalmente, leer del material disponible en la Bibliografía, el Capítulo 2. Generalidades de Teoría de Lenguajes Formales. Sección 2.4. Practique la Teoría de Lenguajes Formales. Capítulo 3. Sección 3.2. HERNÁNDEZ RODRIGUEZ, Leonardo. CARDONA Sergio, JARAMILLO Sonia. Segundo. Vea el Video Expresiones Regulares. Sección correspondiente a Expresiones regulares minuto 1’. Para ver el video puede acceder directamente al enlace publicado en YouTube en el enlace http://youtu.be/R_QlKd7aDrA, o ir a la etiqueta UNIDAD 3, en el enlace Video Expresiones Regulares Tercero. Vea el Video Expresiones Regulares. Para ver el video puede acceder directamente al enlace publicado en YouTube en el enlace http://youtu.be/Tt_RyEg0UaE, o ir a la etiqueta UNIDAD 3, en el enlace Video Expresiones Regulares Cuarto. Descargue el Taller. Lenguajes Regulares del en enlace Taller. Lenguajes Regulares y resuélvalo en un documento de Word. Finalmente debe enviarlo en el enlace Envío Taller. Lenguajes Regulares y adjuntar el archivo con las respuestas.

Guía Unidad 3. Lenguajes Regulares

3


Del 2 al 8 de Marzo

Autó mata finito determinista (AFD) Quinto. Inicie la Lectura del Material del Curso Autómatas Finitos Deterministas, en la Etiqueta UNIDAD 3, en el Enlace Autómatas Finitos Deterministas-AFD. Igualmente, puede descargar el material en archivo PDF, que podrá revisar off-line. Adicionalmente, leer del material disponible en la Bibliografía, el libro Practique la Teoría de Lenguajes Formales. Capítulo 4. Sección 4.1. HERNÁNDEZ RODRIGUEZ, Leonardo. CARDONA Sergio, JARAMILLO Sonia.

Sexto. Vea el Video Autómatas Finitos Deterministas. Para ver el video puede acceder directamente al enlace publicado en YouTube en el enlace http://youtu.be/UU7fLp_Gtng, o ir a la etiqueta UNIDAD 3, en el enlace Video Autómatas Finitos Deterministas

Del 9 al 15 de Marzo

AFD y lenguajes Séptimo. Descargue el Taller Grupal. Creación de un Lenguaje de Programación del enlace Taller. Creación de un Lenguaje de Programación. Diríjase a la WIKI Analizador Léxico, e inicie la creación de los TOKENS de su Lenguaje, según lo solicitado en la descripción del Taller. En esta actividad deben participar los integrantes de su grupo. Para aprender a trabajar en una WIKI, lo invito a ver el video. Cómo trabajar con una WIKI. Para ver el video puede acceder directamente al enlace publicado en YouTube en el enlace http://youtu.be/WyDnG4xmQok, o ir a la etiqueta UNIDAD 4, en el enlace Video Cómo trabajar con una WIKI

Guía Unidad 3. Lenguajes Regulares

4


Octavo. Participación en el Foro. Relación entre un Lexema del Lenguaje Natural y un Lexema de un Lenguaje de Programación. Para participar en este foro primero debe Vea el Video Lexemas. Para ver el video puede acceder directamente al enlace publicado en YouTube en el enlace http://youtu.be/8B3dx84HyHA, o ir a la etiqueta UNIDAD 3, en el enlace Video Video. Lexemas A continuación participe en el foro dando su aporte a la siguiente pregunta: ¿Qué relación existe entre un Lexema del Lenguaje Natural y un Lexema de un Lenguaje de Programación? Complemente los comentarios de sus compañeros enriqueciendo la participación. Del 16 al 22 de Marzo

Autó mata finito no determinista (AFN) Noveno. Vea el Video Autómatas Finitos NO Deterministas- AFN. Para ver el video puede acceder directamente al enlace publicado en YouTube en el enlace http://youtu.be/dq5phN18XAw, o ir a la etiqueta UNIDAD 3, en el enlace Video Autómatas Finitos NO Deterministas- AFN. Igualmente, puede descargar el material en archivo PDF, que podrá revisar off-line. Adicionalmente, leer del material disponible en la Bibliografía, el libro Practique la Teoría de Lenguajes Formales, Practique la Teoría de Lenguajes Formales. Capítulo 4. Sección 4.2, 4.3, HERNÁNDEZ RODRIGUEZ, Leonardo. CARDONA Sergio, JARAMILLO Sonia Décimo. Descargue el Taller. Autómatas Finitos No Deterministas del enlace Taller. Autómatas Finitos No Deterministas y resuélvalo en un documento de Word. Finalmente debe enviarlo en el enlace Envío Taller. Autómatas Finitos No Deterministas y adjuntar el archivo con las respuestas. Del 23 al 29 de Marzo

Equivalencia de AFN y de AFD Décimo Primero. Vea el Video Transformación de un AFN en un AFD. Para ver el video puede acceder directamente al enlace publicado en YouTube en el enlace http://youtu.be/JSWSY2pkl0g, o ir a la etiqueta UNIDAD 3, en el enlace Video Transformación de un AFN en un AFD. Igualmente, puede descargar el material en archivo PDF, que podrá revisar off-line. Adicionalmente, leer del material disponible en la Bibliografía, el libro Practique la Teoría de Lenguajes Formales, Practique la Teoría de Lenguajes Guía Unidad 3. Lenguajes Regulares

5


Formales. Capítulo 4. Sección 4.4, 4.5 HERNÁNDEZ RODRIGUEZ, Leonardo. CARDONA Sergio, JARAMILLO Sonia

Décimo Segundo. Por grupos deben crear un documento compartido en línea a través del Correo electrónico, de tal forma que puedan acceder a él e ir realizando el taller Transformación de un AFN en un AFD en los grupos establecidos. Debe solicitar a sus compañeros el nombre la cuenta de correo electrónico para compartir el documento. Finalmente, Deben adjuntar el documento terminado en el enlace envío taller Transformación de un AFN en un AFD Para aprender cómo se crean documentos compartidos en línea, lo invito a revisar el video Creación de un documento compartido en línea en el enlace http://youtu.be/y8_6pP6n8LA, igualmente podrá verlo en el enlace Video Creación de un documento compartido en línea.

Del 30 de Marzo al 12 de Abril

Aplicaciones de las expresiones regulares y de los autó matas finitos Décimo Tercero. Vea el Video Analizador Léxico. Para ver el video puede acceder directamente al enlace publicado en YouTube en el enlace http://youtu.be/pO20YCAmDN8, o ir a la etiqueta UNIDAD 3, en el enlace Video Analizador Léxico. A continuación descargue el Proyecto. Analizador Léxico. En él se presenta los requerimientos para la realización del Analizador Léxico, el código fuente, de un proyecto inicial que usted debe revisar y adaptar al lenguaje establecido en la WIKI Analizador Léxico. Cada integrante tiene la responsabilidad de implementar en lenguaje JAVA los autómatas correspondientes a los tokens del lenguaje, tal como se establece en la siguiente tabla. Al final el líder del grupo se encargará de integrarlos al código, y Adjuntar el código final en el enlace Envío de la Actividad. Analizador Léxico INTEGRANTE Líder

TOKENS 1. Números • Enteros • Reales

Guía Unidad 3. Lenguajes Regulares

6


Integrante 1

Integrante 2

Integrante 3

2. • • • 3. • • • • • • • • • • • 4. • • 5. 6. • •

Identificadores Clase Método Variables Palabras reservadas para Entero Real Para Mientras Private Public Paquete Importar Clase Return Break Paréntesis Apertura Cierre Llaves Operadores aritméticos Aditivos Multiplicativos

7. 8. 9.

Operadores relacionales Operadores lógicos Operador de asignación

ACTIVIDAD Taller. Lenguajes Regulares WIKI Analizador Léxico Foro. Relación entre un Lexema del Lenguaje Natural y un Lexema de un Lenguaje de Programación. Taller. Autómatas Finitos No Deterministas Documento compartido en Línea-taller Transformación de un AFN en un AFD Código- Analizador Léxico

PORCENTAJE 10% 20% 10%

15% 15%

30%

Guía Unidad 3. Lenguajes Regulares

7


Cronograma

UNIDAD III. LENGUAJES REGULARES FEBRERO

ACTIVIDADES

2 2 2 2 2

MARZO 1 2 3 4 5 6 7 8 9

ABRIL

1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 3 3

1 2 3 4 5 6 7 8 9

1 1 1

Taller. Lenguajes Regulares WIKI Analizador Léxico Foro. Relación entre un Lexema del Lenguaje Natural y un Lexema de un Lenguaje de Programación. Taller. Autómatas Finitos No Deterministas Documento compartido en Líneataller Transformación de un AFN en un AFD Código- Analizador Léxico

Guía Unidad 3. Lenguajes Regulares

8


Bibliografía • • •

Practique la Teoría de Lenguajes Formales. Capítulo 2. Sección 2.1, 2.2, 2.3. HERNÁNDEZ RODRIGUEZ, Leonardo. CARDONA Sergio, JARAMILLO Sonia. Capítulo 10. Lógica. Sección 10.1, 10.2 y Capítulo 3. Teoría de Conjuntos. Sección 3.1, 3.2. GARCIA MERAYO, Felix. “Matemática Discreta”. Segunda Edición. Thomson. 2005 Capítulo 1. Propositions. Section 1.0, 1.1, 1.2. Eric Lehman . F Thomson Leighton. Albert R Meyer “Mathematics for Computer Science”. MIT guías clase. 2010. http://courses.csail.mit.edu/6.042/fall10/mcs-ftl.pdf Con mucho gusto y compromiso, estaré atenta a sus inquietudes. Lina María Castro Benavides Universidad del Quindío Armenia.

Guía Unidad 3. Lenguajes Regulares

9

guia unidad 3 lenguajes_regulares  

guia unidad 3 lenguajes_regulares

Read more
Read more
Similar to
Popular now
Just for you