Universidad Autnoma de Yucatn Facultad de Matemticas Unidad Tizimn

Teora de la Computacin
Licenciatura en Ciencias de la Computacin Sesin 6

MC. Cinhtia M. Gonzlez Segura gsegura@uady.mx

Qu veremos hoy?
Unidad 1. Lenguajes Regulares
Expresiones regulares

Actividades
Repaso de conceptos Revisin de tareas Ejercicios Tarea

Repaso de conceptos
Operaciones con lenguajes Lenguaje regular Expresin regular Definicin recursiva de LR Definicin recursiva de ER

Revisin de tareas
Sea = {0, 1}. Encontrar la ER que reconozca los lenguajes formados por cadenas que:
contienen al menos un 0 contienen al menos un 0 y al menos un 1 contienen exactamente dos veces el nmero 1 (y cualquier cantidad e 0s) contienen a la subcadena 00 o a la subcadena 11 o a ambas subcadenas

Revisin de tareas
Encontrar la expresin regular que represente el lenguaje:
Conjunto de palabras en { a, b } que no contienen dos b consecutivas (, a, b, aaab, ababab, babab, aaaa, baaaaab, etc.)

(a*(ba)*a*)* (b + ) a* a*(baa*)*ba*+a* (a*+ba)*ba*+a* (a*(ba)*a*)a*b+a*

Ejercicios

ALTO

Sea = {0, 1}. Encontrar la ER que reconozca palabras del lenguaje binario tales que:
Solamente incluya las cadenas 0010 y 0011 Las cadenas con prefijo 1 o sufijo 0. Las cadenas con longitud menor que 3 Siempre aparezca un nmero par de 1s. Siempre aparezca un nmero impar de 0s.

Tarea
Denotar el lenguaje de todas las cadenas sobre { a, b, c } que no contienen la subcadena ac.