Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

218
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Aut´ omatas Finitos Deterministas (AFD) Ejercicios Gram´ a Introducci´ on a la Teor´ ıa de la Computaci´ on: Lenguajes, Aut´ omatas y Gram´ aticas Jos´ e Luis Ram´ ırez Ram´ ırez Docente Escuela Matem´ aticas Universidad Sergio Arboleda IV Escuela de Verano en Matem´ aticas Universidad Sergio Arboleda 2011 Jos´ e Luis Ram´ ırez Ram´ ırez Introducci´ on a la Teor´ ıa de la Computaci´ on: Lenguajes, Aut´ om

Transcript of Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Page 1: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Introduccion a la Teorıa de la Computacion:

Lenguajes, Automatas y Gramaticas

Jose Luis Ramırez Ramırez

Docente Escuela Matematicas

Universidad Sergio Arboleda

IV Escuela de Verano en MatematicasUniversidad Sergio Arboleda

2011

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 2: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

1 Alan Turing

2 Cadenas o PalabrasLongitud e Igualdad de una CadenaConcatenacion de una CadenaConcatenacion de una CadenaInversa de una CadenaSubcadenas, Prefijos y SufijosOtras PropiedadesEjercicios - Tema de Investigacion

3 LenguajesConcatenacion de LenguajesEstrella de Kleene de un LenguajeOtras Operaciones entre LenguajesCardinalidad de los LenguajesEjercicios

4 Lenguajes RegularesExpresiones Regulares

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 3: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Ejemplos de Lenguajes RegularesEjercicios

5 Automatas Finitos Deterministas (AFD)Diagrama de Transicion de un AutomataLenguaje aceptado por un AFDEjemplos de AFD

6 Ejercicios

7 Gramaticas RegularesJose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 4: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Alan Mathison Turing

Nacio en Londres el 23 de junio de 1912.

Vivio gran parte de su vida sin sus padres. El padre trabajabapara el servicio civil indio.

Turing inicia sus estudios Sherborne, donde nunca encajo muybien.

“Seguramente lo hara muy bien cuando encuentre suvocacion, pero mientras tanto harıa mucho mejor si intentaseponer lo mejor de su parte como miembro de esta escuela”.

“Pasa mucho tiempo dedicandose a investigaciones dematematica avanzada y desatiende las tareas elementales”.

En Matematicas y ciencias comenzo a destacarse. Tiene unaamistad con Christopher Morcom.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 5: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Alan Mathison Turing

Nacio en Londres el 23 de junio de 1912.

Vivio gran parte de su vida sin sus padres. El padre trabajabapara el servicio civil indio.

Turing inicia sus estudios Sherborne, donde nunca encajo muybien.

“Seguramente lo hara muy bien cuando encuentre suvocacion, pero mientras tanto harıa mucho mejor si intentaseponer lo mejor de su parte como miembro de esta escuela”.

“Pasa mucho tiempo dedicandose a investigaciones dematematica avanzada y desatiende las tareas elementales”.

En Matematicas y ciencias comenzo a destacarse. Tiene unaamistad con Christopher Morcom.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 6: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Alan Mathison Turing

Nacio en Londres el 23 de junio de 1912.

Vivio gran parte de su vida sin sus padres. El padre trabajabapara el servicio civil indio.

Turing inicia sus estudios Sherborne, donde nunca encajo muybien.

“Seguramente lo hara muy bien cuando encuentre suvocacion, pero mientras tanto harıa mucho mejor si intentaseponer lo mejor de su parte como miembro de esta escuela”.

“Pasa mucho tiempo dedicandose a investigaciones dematematica avanzada y desatiende las tareas elementales”.

En Matematicas y ciencias comenzo a destacarse. Tiene unaamistad con Christopher Morcom.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 7: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Alan Mathison Turing

Nacio en Londres el 23 de junio de 1912.

Vivio gran parte de su vida sin sus padres. El padre trabajabapara el servicio civil indio.

Turing inicia sus estudios Sherborne, donde nunca encajo muybien.

“Seguramente lo hara muy bien cuando encuentre suvocacion, pero mientras tanto harıa mucho mejor si intentaseponer lo mejor de su parte como miembro de esta escuela”.

“Pasa mucho tiempo dedicandose a investigaciones dematematica avanzada y desatiende las tareas elementales”.

En Matematicas y ciencias comenzo a destacarse. Tiene unaamistad con Christopher Morcom.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 8: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Alan Mathison Turing

Nacio en Londres el 23 de junio de 1912.

Vivio gran parte de su vida sin sus padres. El padre trabajabapara el servicio civil indio.

Turing inicia sus estudios Sherborne, donde nunca encajo muybien.

“Seguramente lo hara muy bien cuando encuentre suvocacion, pero mientras tanto harıa mucho mejor si intentaseponer lo mejor de su parte como miembro de esta escuela”.

“Pasa mucho tiempo dedicandose a investigaciones dematematica avanzada y desatiende las tareas elementales”.

En Matematicas y ciencias comenzo a destacarse. Tiene unaamistad con Christopher Morcom.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 9: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Alan Mathison Turing

Nacio en Londres el 23 de junio de 1912.

Vivio gran parte de su vida sin sus padres. El padre trabajabapara el servicio civil indio.

Turing inicia sus estudios Sherborne, donde nunca encajo muybien.

“Seguramente lo hara muy bien cuando encuentre suvocacion, pero mientras tanto harıa mucho mejor si intentaseponer lo mejor de su parte como miembro de esta escuela”.

“Pasa mucho tiempo dedicandose a investigaciones dematematica avanzada y desatiende las tareas elementales”.

En Matematicas y ciencias comenzo a destacarse. Tiene unaamistad con Christopher Morcom.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 10: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Alan Mathison Turing

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 11: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Alan Mathison Turing

Christopher Morcom muere de tuberculosis en 1930. Turing leescribe a su madre “No parece que se me haya ocurrido jamashacer otros amigos aparte de Marcom, ya que el hacıa quetodos los demas pareciesen tremendamente vulgares”

En 1931 gano una beca para el King’s Collage de Cambridge.

En 1936 presenta su artıculo “Sobre numeros computables,con una aplicacion al entscheidungsproblem (Problema deDecision) ” a Max Newman.

Newman recibio por correo una separata de un artıculo deAlonzo Church, matematico de la Universidad de Princeton,titulado “Un problema insoluble de la teorıa de los numeroselementales ”. Lambda Calculus (Kleene).

Inicia estudios en 1936 en Princeton, bajo la direccion deChurch. La logica no tenia tanto auge en ese momento, Godely Von Neumann se habıan ido de Princeton.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 12: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Alan Mathison Turing

Christopher Morcom muere de tuberculosis en 1930. Turing leescribe a su madre “No parece que se me haya ocurrido jamashacer otros amigos aparte de Marcom, ya que el hacıa quetodos los demas pareciesen tremendamente vulgares”

En 1931 gano una beca para el King’s Collage de Cambridge.

En 1936 presenta su artıculo “Sobre numeros computables,con una aplicacion al entscheidungsproblem (Problema deDecision) ” a Max Newman.

Newman recibio por correo una separata de un artıculo deAlonzo Church, matematico de la Universidad de Princeton,titulado “Un problema insoluble de la teorıa de los numeroselementales ”. Lambda Calculus (Kleene).

Inicia estudios en 1936 en Princeton, bajo la direccion deChurch. La logica no tenia tanto auge en ese momento, Godely Von Neumann se habıan ido de Princeton.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 13: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Alan Mathison Turing

Christopher Morcom muere de tuberculosis en 1930. Turing leescribe a su madre “No parece que se me haya ocurrido jamashacer otros amigos aparte de Marcom, ya que el hacıa quetodos los demas pareciesen tremendamente vulgares”

En 1931 gano una beca para el King’s Collage de Cambridge.

En 1936 presenta su artıculo “Sobre numeros computables,con una aplicacion al entscheidungsproblem (Problema deDecision) ” a Max Newman.

Newman recibio por correo una separata de un artıculo deAlonzo Church, matematico de la Universidad de Princeton,titulado “Un problema insoluble de la teorıa de los numeroselementales ”. Lambda Calculus (Kleene).

Inicia estudios en 1936 en Princeton, bajo la direccion deChurch. La logica no tenia tanto auge en ese momento, Godely Von Neumann se habıan ido de Princeton.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 14: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Alan Mathison Turing

Christopher Morcom muere de tuberculosis en 1930. Turing leescribe a su madre “No parece que se me haya ocurrido jamashacer otros amigos aparte de Marcom, ya que el hacıa quetodos los demas pareciesen tremendamente vulgares”

En 1931 gano una beca para el King’s Collage de Cambridge.

En 1936 presenta su artıculo “Sobre numeros computables,con una aplicacion al entscheidungsproblem (Problema deDecision) ” a Max Newman.

Newman recibio por correo una separata de un artıculo deAlonzo Church, matematico de la Universidad de Princeton,titulado “Un problema insoluble de la teorıa de los numeroselementales ”. Lambda Calculus (Kleene).

Inicia estudios en 1936 en Princeton, bajo la direccion deChurch. La logica no tenia tanto auge en ese momento, Godely Von Neumann se habıan ido de Princeton.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 15: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Alan Mathison Turing

Christopher Morcom muere de tuberculosis en 1930. Turing leescribe a su madre “No parece que se me haya ocurrido jamashacer otros amigos aparte de Marcom, ya que el hacıa quetodos los demas pareciesen tremendamente vulgares”

En 1931 gano una beca para el King’s Collage de Cambridge.

En 1936 presenta su artıculo “Sobre numeros computables,con una aplicacion al entscheidungsproblem (Problema deDecision) ” a Max Newman.

Newman recibio por correo una separata de un artıculo deAlonzo Church, matematico de la Universidad de Princeton,titulado “Un problema insoluble de la teorıa de los numeroselementales ”. Lambda Calculus (Kleene).

Inicia estudios en 1936 en Princeton, bajo la direccion deChurch. La logica no tenia tanto auge en ese momento, Godely Von Neumann se habıan ido de Princeton.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 16: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Alan Mathison Turing

En 1928 David Hilbert, reenvio al mundo de mundo de lasmatematicas tres retos de entre los que ya habıa lanzado en elgran Congreso de Matematicas celebrado en Parıs en 1900:

1 Demostrar que todos los enunciados verdaderos enmatematicas pueden ser demostrados, esto es, la completitudde las matematicas.

2 Demostrar que solo los enunciados verdaderos pueden serdemostrados, esto es, la consistencia de las matematicas.

3 Demostrar la decidibilidad de las matematicas, es decir, laexistencia de un procedimiento de decision para decidir laveracidad o falsedad de una proposicion matematica dada.

Arquitecto de la maquina de descifro el Codigo Enigmaaleman durante la Segunda Guerra Mundial.

Turing se suicido en 1954.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 17: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Alan Mathison Turing

En 1928 David Hilbert, reenvio al mundo de mundo de lasmatematicas tres retos de entre los que ya habıa lanzado en elgran Congreso de Matematicas celebrado en Parıs en 1900:

1 Demostrar que todos los enunciados verdaderos enmatematicas pueden ser demostrados, esto es, la completitudde las matematicas.

2 Demostrar que solo los enunciados verdaderos pueden serdemostrados, esto es, la consistencia de las matematicas.

3 Demostrar la decidibilidad de las matematicas, es decir, laexistencia de un procedimiento de decision para decidir laveracidad o falsedad de una proposicion matematica dada.

Arquitecto de la maquina de descifro el Codigo Enigmaaleman durante la Segunda Guerra Mundial.

Turing se suicido en 1954.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 18: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Alan Mathison Turing

En 1928 David Hilbert, reenvio al mundo de mundo de lasmatematicas tres retos de entre los que ya habıa lanzado en elgran Congreso de Matematicas celebrado en Parıs en 1900:

1 Demostrar que todos los enunciados verdaderos enmatematicas pueden ser demostrados, esto es, la completitudde las matematicas.

2 Demostrar que solo los enunciados verdaderos pueden serdemostrados, esto es, la consistencia de las matematicas.

3 Demostrar la decidibilidad de las matematicas, es decir, laexistencia de un procedimiento de decision para decidir laveracidad o falsedad de una proposicion matematica dada.

Arquitecto de la maquina de descifro el Codigo Enigmaaleman durante la Segunda Guerra Mundial.

Turing se suicido en 1954.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 19: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Alan Mathison Turing

En 1928 David Hilbert, reenvio al mundo de mundo de lasmatematicas tres retos de entre los que ya habıa lanzado en elgran Congreso de Matematicas celebrado en Parıs en 1900:

1 Demostrar que todos los enunciados verdaderos enmatematicas pueden ser demostrados, esto es, la completitudde las matematicas.

2 Demostrar que solo los enunciados verdaderos pueden serdemostrados, esto es, la consistencia de las matematicas.

3 Demostrar la decidibilidad de las matematicas, es decir, laexistencia de un procedimiento de decision para decidir laveracidad o falsedad de una proposicion matematica dada.

Arquitecto de la maquina de descifro el Codigo Enigmaaleman durante la Segunda Guerra Mundial.

Turing se suicido en 1954.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 20: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Alan Mathison Turing

En 1928 David Hilbert, reenvio al mundo de mundo de lasmatematicas tres retos de entre los que ya habıa lanzado en elgran Congreso de Matematicas celebrado en Parıs en 1900:

1 Demostrar que todos los enunciados verdaderos enmatematicas pueden ser demostrados, esto es, la completitudde las matematicas.

2 Demostrar que solo los enunciados verdaderos pueden serdemostrados, esto es, la consistencia de las matematicas.

3 Demostrar la decidibilidad de las matematicas, es decir, laexistencia de un procedimiento de decision para decidir laveracidad o falsedad de una proposicion matematica dada.

Arquitecto de la maquina de descifro el Codigo Enigmaaleman durante la Segunda Guerra Mundial.

Turing se suicido en 1954.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 21: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Alan Mathison Turing

En 1928 David Hilbert, reenvio al mundo de mundo de lasmatematicas tres retos de entre los que ya habıa lanzado en elgran Congreso de Matematicas celebrado en Parıs en 1900:

1 Demostrar que todos los enunciados verdaderos enmatematicas pueden ser demostrados, esto es, la completitudde las matematicas.

2 Demostrar que solo los enunciados verdaderos pueden serdemostrados, esto es, la consistencia de las matematicas.

3 Demostrar la decidibilidad de las matematicas, es decir, laexistencia de un procedimiento de decision para decidir laveracidad o falsedad de una proposicion matematica dada.

Arquitecto de la maquina de descifro el Codigo Enigmaaleman durante la Segunda Guerra Mundial.

Turing se suicido en 1954.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 22: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Alan Mathison Turing

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 23: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Cadenas o Palabras

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 24: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Cadenas o Palabras

Secuencia finita de sımbolos.

Se fija un conjunto finito no vacıo Σ cuyos elementos sedenominan sımbolos.

El conjunto Σ se denomina alfabeto, ademas las cadenas sedenotan por las letras u, v,w,x, ....

Se supone la existencia de una unica cadena que no tienesımbolos, denominada cadena vacıa y se denota con λ.

Ejemplo

Sea Σ = {a, b, c} el alfabeto que consta de los sımbolos a, b y c,entonces a, aa, abccc son cadenas sobre Σ.

El conjunto de todas las cadenas sobre un alfabeto Σ, incluyendola cadena vacıa, se denota por Σ∗.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 25: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Cadenas o Palabras

Secuencia finita de sımbolos.

Se fija un conjunto finito no vacıo Σ cuyos elementos sedenominan sımbolos.

El conjunto Σ se denomina alfabeto, ademas las cadenas sedenotan por las letras u, v,w,x, ....

Se supone la existencia de una unica cadena que no tienesımbolos, denominada cadena vacıa y se denota con λ.

Ejemplo

Sea Σ = {a, b, c} el alfabeto que consta de los sımbolos a, b y c,entonces a, aa, abccc son cadenas sobre Σ.

El conjunto de todas las cadenas sobre un alfabeto Σ, incluyendola cadena vacıa, se denota por Σ∗.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 26: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Cadenas o Palabras

Secuencia finita de sımbolos.

Se fija un conjunto finito no vacıo Σ cuyos elementos sedenominan sımbolos.

El conjunto Σ se denomina alfabeto, ademas las cadenas sedenotan por las letras u, v,w,x, ....

Se supone la existencia de una unica cadena que no tienesımbolos, denominada cadena vacıa y se denota con λ.

Ejemplo

Sea Σ = {a, b, c} el alfabeto que consta de los sımbolos a, b y c,entonces a, aa, abccc son cadenas sobre Σ.

El conjunto de todas las cadenas sobre un alfabeto Σ, incluyendola cadena vacıa, se denota por Σ∗.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 27: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Cadenas o Palabras

Secuencia finita de sımbolos.

Se fija un conjunto finito no vacıo Σ cuyos elementos sedenominan sımbolos.

El conjunto Σ se denomina alfabeto, ademas las cadenas sedenotan por las letras u, v,w,x, ....

Se supone la existencia de una unica cadena que no tienesımbolos, denominada cadena vacıa y se denota con λ.

Ejemplo

Sea Σ = {a, b, c} el alfabeto que consta de los sımbolos a, b y c,entonces a, aa, abccc son cadenas sobre Σ.

El conjunto de todas las cadenas sobre un alfabeto Σ, incluyendola cadena vacıa, se denota por Σ∗.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 28: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Cadenas o Palabras

Secuencia finita de sımbolos.

Se fija un conjunto finito no vacıo Σ cuyos elementos sedenominan sımbolos.

El conjunto Σ se denomina alfabeto, ademas las cadenas sedenotan por las letras u, v,w,x, ....

Se supone la existencia de una unica cadena que no tienesımbolos, denominada cadena vacıa y se denota con λ.

Ejemplo

Sea Σ = {a, b, c} el alfabeto que consta de los sımbolos a, b y c,entonces a, aa, abccc son cadenas sobre Σ.

El conjunto de todas las cadenas sobre un alfabeto Σ, incluyendola cadena vacıa, se denota por Σ∗.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 29: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Cadenas o Palabras

Secuencia finita de sımbolos.

Se fija un conjunto finito no vacıo Σ cuyos elementos sedenominan sımbolos.

El conjunto Σ se denomina alfabeto, ademas las cadenas sedenotan por las letras u, v,w,x, ....

Se supone la existencia de una unica cadena que no tienesımbolos, denominada cadena vacıa y se denota con λ.

Ejemplo

Sea Σ = {a, b, c} el alfabeto que consta de los sımbolos a, b y c,entonces a, aa, abccc son cadenas sobre Σ.

El conjunto de todas las cadenas sobre un alfabeto Σ, incluyendola cadena vacıa, se denota por Σ∗.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 30: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Cadenas o Palabras

Secuencia finita de sımbolos.

Se fija un conjunto finito no vacıo Σ cuyos elementos sedenominan sımbolos.

El conjunto Σ se denomina alfabeto, ademas las cadenas sedenotan por las letras u, v,w,x, ....

Se supone la existencia de una unica cadena que no tienesımbolos, denominada cadena vacıa y se denota con λ.

Ejemplo

Sea Σ = {a, b, c} el alfabeto que consta de los sımbolos a, b y c,entonces a, aa, abccc son cadenas sobre Σ.

El conjunto de todas las cadenas sobre un alfabeto Σ, incluyendola cadena vacıa, se denota por Σ∗.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 31: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Longitud e Igualdad de una Cadena

Definicion

La longitud de una cadena u ∈ Σ∗, denotada con ∣u∣, se definecomo el numero de sımbolos de u, incluyendo sımbolos repetidos.Recursivamente se define como:

∣u∣ =⎧⎪⎪⎨⎪⎪⎩0, si u = λ∣w∣ + 1, si u = wa

para todo a ∈ Σ y u ∈ Σ∗.Notaremos ∣u∣a a la cantidad de veces que aparece el sımbolo a enla cadena u.

Ejemplo

Sea Σ = {0,1} el alfabeto binario, entonces∣00∣ = 2, ∣101011∣ = 6, ∣001∣0 = 2, ∣001∣1 = 1.Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 32: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Longitud e Igualdad de una Cadena

Definicion

La longitud de una cadena u ∈ Σ∗, denotada con ∣u∣, se definecomo el numero de sımbolos de u, incluyendo sımbolos repetidos.Recursivamente se define como:

∣u∣ =⎧⎪⎪⎨⎪⎪⎩0, si u = λ∣w∣ + 1, si u = wa

para todo a ∈ Σ y u ∈ Σ∗.Notaremos ∣u∣a a la cantidad de veces que aparece el sımbolo a enla cadena u.

Ejemplo

Sea Σ = {0,1} el alfabeto binario, entonces∣00∣ = 2, ∣101011∣ = 6, ∣001∣0 = 2, ∣001∣1 = 1.Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 33: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Longitud e Igualdad de una Cadena

Definicion

La longitud de una cadena u ∈ Σ∗, denotada con ∣u∣, se definecomo el numero de sımbolos de u, incluyendo sımbolos repetidos.Recursivamente se define como:

∣u∣ =⎧⎪⎪⎨⎪⎪⎩0, si u = λ∣w∣ + 1, si u = wa

para todo a ∈ Σ y u ∈ Σ∗.Notaremos ∣u∣a a la cantidad de veces que aparece el sımbolo a enla cadena u.

Ejemplo

Sea Σ = {0,1} el alfabeto binario, entonces∣00∣ = 2, ∣101011∣ = 6, ∣001∣0 = 2, ∣001∣1 = 1.Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 34: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Longitud e Igualdad de una Cadena

Definicion

Sean x = x1x2⋯xn y y = y1y2⋯ym dos cadenas sobre un alfabetoΣ, entonces x y y son iguales si

1 ∣x∣ = ∣y∣.2 xi = yi para todo i = 1,2, . . . n.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 35: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Longitud e Igualdad de una Cadena

Definicion

Sean x = x1x2⋯xn y y = y1y2⋯ym dos cadenas sobre un alfabetoΣ, entonces x y y son iguales si

1 ∣x∣ = ∣y∣.2 xi = yi para todo i = 1,2, . . . n.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 36: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Concatenacion de una Cadena

Dado un alfabeto Σ y dos cadenas u, v ∈ Σ∗, la concatenacion deu y v, es la cadena que se forma al escribir los sımbolos de u y acontinuacion los sımbolos de v. Se denota por uv.En particular, si u ∈ Σ∗, entonces uu⋯u²

n veces

se denotara como un.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 37: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Concatenacion de una Cadena

Dado un alfabeto Σ y dos cadenas u, v ∈ Σ∗, la concatenacion deu y v, es la cadena que se forma al escribir los sımbolos de u y acontinuacion los sımbolos de v. Se denota por uv.En particular, si u ∈ Σ∗, entonces uu⋯u²

n veces

se denotara como un.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 38: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Ejemplo

Demostrar que para toda cadena u, v ∈ Σ∗, ∣uv∣ = ∣u∣ + ∣v∣.Solucion: Induccion sobre la longitud de v.Para ∣v∣ = 0, ∣uv∣ = ∣uλ∣ = ∣u∣ = ∣u∣ + 0 = ∣u∣ + ∣v∣. Asumamos que setiene para toda cadena v ∈ Σ∗, entonces debemos probarla paratoda cadena va con a ∈ Σ.∣uva∣ =∣uv∣ + 1 Def. de Longitud de una Cadena.

=∣u∣ + ∣v∣ + 1 Hipotesis de Induccion.

=∣u∣ + ∣va∣, a ∈ Σ Def. de Longitud de una Cadena.

Ejemplo

Demostrar que para toda cadena u ∈ Σ∗ y n ≥ 0, ∣un∣ = n∣u∣.Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 39: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Ejemplo

Demostrar que para toda cadena u, v ∈ Σ∗, ∣uv∣ = ∣u∣ + ∣v∣.Solucion: Induccion sobre la longitud de v.Para ∣v∣ = 0, ∣uv∣ = ∣uλ∣ = ∣u∣ = ∣u∣ + 0 = ∣u∣ + ∣v∣. Asumamos que setiene para toda cadena v ∈ Σ∗, entonces debemos probarla paratoda cadena va con a ∈ Σ.∣uva∣ =∣uv∣ + 1 Def. de Longitud de una Cadena.

=∣u∣ + ∣v∣ + 1 Hipotesis de Induccion.

=∣u∣ + ∣va∣, a ∈ Σ Def. de Longitud de una Cadena.

Ejemplo

Demostrar que para toda cadena u ∈ Σ∗ y n ≥ 0, ∣un∣ = n∣u∣.Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 40: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Ejemplo

Demostrar que para toda cadena u, v ∈ Σ∗, ∣uv∣ = ∣u∣ + ∣v∣.Solucion: Induccion sobre la longitud de v.Para ∣v∣ = 0, ∣uv∣ = ∣uλ∣ = ∣u∣ = ∣u∣ + 0 = ∣u∣ + ∣v∣. Asumamos que setiene para toda cadena v ∈ Σ∗, entonces debemos probarla paratoda cadena va con a ∈ Σ.∣uva∣ =∣uv∣ + 1 Def. de Longitud de una Cadena.

=∣u∣ + ∣v∣ + 1 Hipotesis de Induccion.

=∣u∣ + ∣va∣, a ∈ Σ Def. de Longitud de una Cadena.

Ejemplo

Demostrar que para toda cadena u ∈ Σ∗ y n ≥ 0, ∣un∣ = n∣u∣.Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 41: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Inversa de una Cadena

La inversa de una cadena u ∈ Σ∗ se denota uR y se define como

uR = ⎧⎪⎪⎨⎪⎪⎩λ Si u = λunun−1⋯u1 Si u = u1u2⋯un.

con u1, u2, ..., un ∈ Σ.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 42: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Subcadenas, Prefijos y Sufijos

Una cadena v es una subcadena de u si existen cadena x, y talesque u = xvy.Si u = vw entonces las subcadenas v y w se llaman prefijo y sufijode u, respectivamente.

Ejemplo

Si u = 100110 entonces {λ,1,10,100,1001,10011,100110} es elconjunto de todos los prefijos de u y{λ,0,10,110,0110, 00110, 100110} es el conjunto de todos lossufijos de u.

Ejemplo

¿Para que cadenas u ∈ Σ∗ se tiene que Pref(u) = Suf(u)?.La palabra en ingles antsy tiene la propiedad que todo prefijo notrivial es una palabra valida nuevamente en ingles. Encuentre otrapalabra en ingles con esta propiedad. ¿Existe una palabra enespanol con esta propiedad?Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 43: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Subcadenas, Prefijos y Sufijos

Una cadena v es una subcadena de u si existen cadena x, y talesque u = xvy.Si u = vw entonces las subcadenas v y w se llaman prefijo y sufijode u, respectivamente.

Ejemplo

Si u = 100110 entonces {λ,1,10,100,1001,10011,100110} es elconjunto de todos los prefijos de u y{λ,0,10,110,0110, 00110, 100110} es el conjunto de todos lossufijos de u.

Ejemplo

¿Para que cadenas u ∈ Σ∗ se tiene que Pref(u) = Suf(u)?.La palabra en ingles antsy tiene la propiedad que todo prefijo notrivial es una palabra valida nuevamente en ingles. Encuentre otrapalabra en ingles con esta propiedad. ¿Existe una palabra enespanol con esta propiedad?Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 44: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Subcadenas, Prefijos y Sufijos

Una cadena v es una subcadena de u si existen cadena x, y talesque u = xvy.Si u = vw entonces las subcadenas v y w se llaman prefijo y sufijode u, respectivamente.

Ejemplo

Si u = 100110 entonces {λ,1,10,100,1001,10011,100110} es elconjunto de todos los prefijos de u y{λ,0,10,110,0110, 00110, 100110} es el conjunto de todos lossufijos de u.

Ejemplo

¿Para que cadenas u ∈ Σ∗ se tiene que Pref(u) = Suf(u)?.La palabra en ingles antsy tiene la propiedad que todo prefijo notrivial es una palabra valida nuevamente en ingles. Encuentre otrapalabra en ingles con esta propiedad. ¿Existe una palabra enespanol con esta propiedad?Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 45: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Subcadenas, Prefijos y Sufijos

Una cadena v es una subcadena de u si existen cadena x, y talesque u = xvy.Si u = vw entonces las subcadenas v y w se llaman prefijo y sufijode u, respectivamente.

Ejemplo

Si u = 100110 entonces {λ,1,10,100,1001,10011,100110} es elconjunto de todos los prefijos de u y{λ,0,10,110,0110, 00110, 100110} es el conjunto de todos lossufijos de u.

Ejemplo

¿Para que cadenas u ∈ Σ∗ se tiene que Pref(u) = Suf(u)?.La palabra en ingles antsy tiene la propiedad que todo prefijo notrivial es una palabra valida nuevamente en ingles. Encuentre otrapalabra en ingles con esta propiedad. ¿Existe una palabra enespanol con esta propiedad?Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 46: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Subcadenas, Prefijos y Sufijos

Una cadena v es una subcadena de u si existen cadena x, y talesque u = xvy.Si u = vw entonces las subcadenas v y w se llaman prefijo y sufijode u, respectivamente.

Ejemplo

Si u = 100110 entonces {λ,1,10,100,1001,10011,100110} es elconjunto de todos los prefijos de u y{λ,0,10,110,0110, 00110, 100110} es el conjunto de todos lossufijos de u.

Ejemplo

¿Para que cadenas u ∈ Σ∗ se tiene que Pref(u) = Suf(u)?.La palabra en ingles antsy tiene la propiedad que todo prefijo notrivial es una palabra valida nuevamente en ingles. Encuentre otrapalabra en ingles con esta propiedad. ¿Existe una palabra enespanol con esta propiedad?Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 47: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Otras Propiedades

Teorema (Principio de Induccion para Cadenas)

Sea L ⊆ Σ∗, el conjunto de todas las cadenas tales que λ ∈ L, y six ∈ L entonces xa ∈ L para todo a ∈ Σ. Entonces, L = Σ∗.Teorema (Lyndon-Schutzenberger)

Sean x, y dos cadenas de L ⊆ Σ∗, entonces las siguientesafirmaciones son equivalentes:

1 xy = yx;2 Existe una cadena z ∈ L, y enteros m,n ≥ 0, tales que x = zm

y y = zn;3 Existen enteros t, s ≥ 0 tales que las cadenas xt y ys tiene un

prefijo comun de longitud ∣x∣ + ∣y∣.Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 48: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Otras Propiedades

Teorema (Principio de Induccion para Cadenas)

Sea L ⊆ Σ∗, el conjunto de todas las cadenas tales que λ ∈ L, y six ∈ L entonces xa ∈ L para todo a ∈ Σ. Entonces, L = Σ∗.Teorema (Lyndon-Schutzenberger)

Sean x, y dos cadenas de L ⊆ Σ∗, entonces las siguientesafirmaciones son equivalentes:

1 xy = yx;2 Existe una cadena z ∈ L, y enteros m,n ≥ 0, tales que x = zm

y y = zn;3 Existen enteros t, s ≥ 0 tales que las cadenas xt y ys tiene un

prefijo comun de longitud ∣x∣ + ∣y∣.Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 49: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Otras Propiedades

Teorema (Principio de Induccion para Cadenas)

Sea L ⊆ Σ∗, el conjunto de todas las cadenas tales que λ ∈ L, y six ∈ L entonces xa ∈ L para todo a ∈ Σ. Entonces, L = Σ∗.Teorema (Lyndon-Schutzenberger)

Sean x, y dos cadenas de L ⊆ Σ∗, entonces las siguientesafirmaciones son equivalentes:

1 xy = yx;2 Existe una cadena z ∈ L, y enteros m,n ≥ 0, tales que x = zm

y y = zn;3 Existen enteros t, s ≥ 0 tales que las cadenas xt y ys tiene un

prefijo comun de longitud ∣x∣ + ∣y∣.Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 50: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Otras Propiedades

Teorema (Principio de Induccion para Cadenas)

Sea L ⊆ Σ∗, el conjunto de todas las cadenas tales que λ ∈ L, y six ∈ L entonces xa ∈ L para todo a ∈ Σ. Entonces, L = Σ∗.Teorema (Lyndon-Schutzenberger)

Sean x, y dos cadenas de L ⊆ Σ∗, entonces las siguientesafirmaciones son equivalentes:

1 xy = yx;2 Existe una cadena z ∈ L, y enteros m,n ≥ 0, tales que x = zm

y y = zn;3 Existen enteros t, s ≥ 0 tales que las cadenas xt y ys tiene un

prefijo comun de longitud ∣x∣ + ∣y∣.Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 51: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Otras Propiedades

Ejemplo

Demostrar que no existe una cadena x ∈ {a, b}∗, tal que ax = xb.Solucion: Supongamos que existe una cadena x ∈ {a, b}∗, tal queax = xb. Entonces existen cadenas u, v ∈ Σ∗, tales que x = au yx = vb, por lo tanto avb = aub, ası u = v, es decir que au = ub, con∣u∣ < ∣x∣. Repitiendo este procedimiento (el cual es claro que selleva a cabo en un numero finito de pasos) se llega a que a = b, locual es contradictorio.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 52: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Otras Propiedades

Ejemplo

Demostrar que no existe una cadena x ∈ {a, b}∗, tal que ax = xb.Solucion: Supongamos que existe una cadena x ∈ {a, b}∗, tal queax = xb. Entonces existen cadenas u, v ∈ Σ∗, tales que x = au yx = vb, por lo tanto avb = aub, ası u = v, es decir que au = ub, con∣u∣ < ∣x∣. Repitiendo este procedimiento (el cual es claro que selleva a cabo en un numero finito de pasos) se llega a que a = b, locual es contradictorio.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 53: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Topico de investigacion

Existen distintas formas de definir ordenes parciales sobrecadenas.

Orden subcadena: Si x, y ∈ Σ∗ entonces decimos que x ≤ y si ysolo si existen cadenas u, v ∈ Σ∗ tales que uxv = y.Orden lexicografico: Si Σ = {a0, a1, . . . , an−1} entonces sedefine un orden total sobre Σ, por ejemplo,a0 < a1 < ⋯ < an−1, y a su vez una relacion ≺ sobre Σ

definida como, u ≺ v si y solo si ∣u∣ < ∣v∣ o u = waiu′ yv = wajv′, para algun w,u′, v′ ∈ Σ∗ y i < j.Orden subsecuencia, el cual se define como u ⊲ w si y solo siu se puede obtener a partir de w eliminado 0 o mas sımbolosde w.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 54: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Topico de investigacion

Existen distintas formas de definir ordenes parciales sobrecadenas.

Orden subcadena: Si x, y ∈ Σ∗ entonces decimos que x ≤ y si ysolo si existen cadenas u, v ∈ Σ∗ tales que uxv = y.Orden lexicografico: Si Σ = {a0, a1, . . . , an−1} entonces sedefine un orden total sobre Σ, por ejemplo,a0 < a1 < ⋯ < an−1, y a su vez una relacion ≺ sobre Σ

definida como, u ≺ v si y solo si ∣u∣ < ∣v∣ o u = waiu′ yv = wajv′, para algun w,u′, v′ ∈ Σ∗ y i < j.Orden subsecuencia, el cual se define como u ⊲ w si y solo siu se puede obtener a partir de w eliminado 0 o mas sımbolosde w.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 55: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Topico de investigacion

Existen distintas formas de definir ordenes parciales sobrecadenas.

Orden subcadena: Si x, y ∈ Σ∗ entonces decimos que x ≤ y si ysolo si existen cadenas u, v ∈ Σ∗ tales que uxv = y.Orden lexicografico: Si Σ = {a0, a1, . . . , an−1} entonces sedefine un orden total sobre Σ, por ejemplo,a0 < a1 < ⋯ < an−1, y a su vez una relacion ≺ sobre Σ

definida como, u ≺ v si y solo si ∣u∣ < ∣v∣ o u = waiu′ yv = wajv′, para algun w,u′, v′ ∈ Σ∗ y i < j.Orden subsecuencia, el cual se define como u ⊲ w si y solo siu se puede obtener a partir de w eliminado 0 o mas sımbolosde w.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 56: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Topico de investigacion

Definicion

Sea Σ un alfabeto, entonces u ⊲ w si y solo si existe un enteron ≥ 0 y cadenas ui,wj ∈ Σ∗, 1 ≤ i ≤ n,1 ≤ j ≤ n + 1 tales queu = u1u2⋯un y w = w1u1w2u2⋯wnunwn+1.

En caso que v y w no sean comparables, entonces los denotamoscomo v ⋪ w.Teorema

Sea Σ un alfabeto, entonces ⊲ define una relacion de orden sobreΣ∗

Teorema

Sea Σ un alfabeto. Entonces todo conjunto de cadenas sobre Σ enel que cada par de elementos es incomparable respecto al ordensecuencia es finito

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 57: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Topico de investigacion

Definicion

Sea Σ un alfabeto, entonces u ⊲ w si y solo si existe un enteron ≥ 0 y cadenas ui,wj ∈ Σ∗, 1 ≤ i ≤ n,1 ≤ j ≤ n + 1 tales queu = u1u2⋯un y w = w1u1w2u2⋯wnunwn+1.

En caso que v y w no sean comparables, entonces los denotamoscomo v ⋪ w.Teorema

Sea Σ un alfabeto, entonces ⊲ define una relacion de orden sobreΣ∗

Teorema

Sea Σ un alfabeto. Entonces todo conjunto de cadenas sobre Σ enel que cada par de elementos es incomparable respecto al ordensecuencia es finito

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 58: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Topico de investigacion

Definicion

Sea Σ un alfabeto, entonces u ⊲ w si y solo si existe un enteron ≥ 0 y cadenas ui,wj ∈ Σ∗, 1 ≤ i ≤ n,1 ≤ j ≤ n + 1 tales queu = u1u2⋯un y w = w1u1w2u2⋯wnunwn+1.

En caso que v y w no sean comparables, entonces los denotamoscomo v ⋪ w.Teorema

Sea Σ un alfabeto, entonces ⊲ define una relacion de orden sobreΣ∗

Teorema

Sea Σ un alfabeto. Entonces todo conjunto de cadenas sobre Σ enel que cada par de elementos es incomparable respecto al ordensecuencia es finito

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 59: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Topico de investigacion

Ejemplo

Sea Σ = {a1, a2, . . . , an}, entonces Σ+ contiene n elementosincomparables.

Ejemplo

Sea Σ = {0,1}, entonces Σn = {0,1}n contiene 2n elementos

incomparables.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 60: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Topico de investigacion

Ejemplo

Sea Σ = {a1, a2, . . . , an}, entonces Σ+ contiene n elementosincomparables.

Ejemplo

Sea Σ = {0,1}, entonces Σn = {0,1}n contiene 2n elementos

incomparables.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 61: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Topico de investigacion

Definicion

Sea Σ un alfabeto y L un lenguaje sobre Σ, entonces el conjunto deelementos minimales para L, denotado porM(L), se define como

M(L) ∶= {w ∈ L ∶ Si x ⊲ w y x ∈ L entonces x = w}Si w ∈M(L) decimos que w es un elemento minimal para L.

Teorema

Sea Σ un alfabeto y L un lenguaje sobre Σ, entoncesM(L) es unconjunto en que todo par de elementos es incomparable.

Corolario

Sea Σ un alfabeto y L un lenguaje sobre Σ, entoncesM(L) esfinito.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 62: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Topico de investigacion

Definicion

Sea Σ un alfabeto y L un lenguaje sobre Σ, entonces el conjunto deelementos minimales para L, denotado porM(L), se define como

M(L) ∶= {w ∈ L ∶ Si x ⊲ w y x ∈ L entonces x = w}Si w ∈M(L) decimos que w es un elemento minimal para L.

Teorema

Sea Σ un alfabeto y L un lenguaje sobre Σ, entoncesM(L) es unconjunto en que todo par de elementos es incomparable.

Corolario

Sea Σ un alfabeto y L un lenguaje sobre Σ, entoncesM(L) esfinito.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 63: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Topico de investigacion

Definicion

Sea Σ un alfabeto y L un lenguaje sobre Σ, entonces el conjunto deelementos minimales para L, denotado porM(L), se define como

M(L) ∶= {w ∈ L ∶ Si x ⊲ w y x ∈ L entonces x = w}Si w ∈M(L) decimos que w es un elemento minimal para L.

Teorema

Sea Σ un alfabeto y L un lenguaje sobre Σ, entoncesM(L) es unconjunto en que todo par de elementos es incomparable.

Corolario

Sea Σ un alfabeto y L un lenguaje sobre Σ, entoncesM(L) esfinito.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 64: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Topico de investigacion

Sea Σ = {0,1,2, . . . ,9} entonces definimos el lenguajePrimos ∶={x ∈ Σ∗ ∶ x representa un numero primo escrito en base 10} yPrimosn ∶={x ∈ Σ∗ ∶ x representa un numero primo escrito en base n}. Elobjetivo es encontrarM(Primosn) para algunas bases.

Teorema

M(Primos) = {2,3,5,7,11, 19, 41, 61,89, 409, 449,499,881,991,6469,6949,9001, 9049,9649, 9949, 60649, 666649, 946669,

60000049,66000049,66600049}

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 65: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Topico de investigacion

Sea Σ = {0,1,2, . . . ,9} entonces definimos el lenguajePrimos ∶={x ∈ Σ∗ ∶ x representa un numero primo escrito en base 10} yPrimosn ∶={x ∈ Σ∗ ∶ x representa un numero primo escrito en base n}. Elobjetivo es encontrarM(Primosn) para algunas bases.

Teorema

M(Primos) = {2,3,5,7,11, 19, 41, 61,89, 409, 449,499,881,991,6469,6949,9001, 9049,9649, 9949, 60649, 666649, 946669,

60000049,66000049,66600049}

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 66: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Topico de investigacion

1 Primos2 ={10,11,101,111, 1011,1101, 10001, 10011, 10111, 11101, 11111, 100101M(Primos2) = {10,11}2 Primos3 ={2,10,12,21, 102, 111, 122, 201, 212, 1002,1011, 1101, 1112, 1121, 1202M(Primos3) = {2,10,111}.3 Primos4 ={2,3,11,13,23, 31,101,103,113, 131, 133, 211, 221, 223, 233, ...}M(Primos4) = {2,3,11}.4 Primos5 ={2,3,10,12,21, 23,32, 34, 43, 104,111,122,131, 133, 142, ...}M(Primos5) = {2,3,10,111,401}.5 Primos6 ={2,3,5,11,15,21, 25, 31, 35, 45,51, 101, 105, 111,115, ...}M(Primos6) = {2,3,5,11,40041}.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 67: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Topico de investigacion

1 Primos2 ={10,11,101,111, 1011,1101, 10001, 10011, 10111, 11101, 11111, 100101M(Primos2) = {10,11}2 Primos3 ={2,10,12,21, 102, 111, 122, 201, 212, 1002,1011, 1101, 1112, 1121, 1202M(Primos3) = {2,10,111}.3 Primos4 ={2,3,11,13,23, 31,101,103,113, 131, 133, 211, 221, 223, 233, ...}M(Primos4) = {2,3,11}.4 Primos5 ={2,3,10,12,21, 23,32, 34, 43, 104,111,122,131, 133, 142, ...}M(Primos5) = {2,3,10,111,401}.5 Primos6 ={2,3,5,11,15,21, 25, 31, 35, 45,51, 101, 105, 111,115, ...}M(Primos6) = {2,3,5,11,40041}.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 68: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Topico de investigacion

1 Primos2 ={10,11,101,111, 1011,1101, 10001, 10011, 10111, 11101, 11111, 100101M(Primos2) = {10,11}2 Primos3 ={2,10,12,21, 102, 111, 122, 201, 212, 1002,1011, 1101, 1112, 1121, 1202M(Primos3) = {2,10,111}.3 Primos4 ={2,3,11,13,23, 31,101,103,113, 131, 133, 211, 221, 223, 233, ...}M(Primos4) = {2,3,11}.4 Primos5 ={2,3,10,12,21, 23,32, 34, 43, 104,111,122,131, 133, 142, ...}M(Primos5) = {2,3,10,111,401}.5 Primos6 ={2,3,5,11,15,21, 25, 31, 35, 45,51, 101, 105, 111,115, ...}M(Primos6) = {2,3,5,11,40041}.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 69: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Topico de investigacion

1 Primos2 ={10,11,101,111, 1011,1101, 10001, 10011, 10111, 11101, 11111, 100101M(Primos2) = {10,11}2 Primos3 ={2,10,12,21, 102, 111, 122, 201, 212, 1002,1011, 1101, 1112, 1121, 1202M(Primos3) = {2,10,111}.3 Primos4 ={2,3,11,13,23, 31,101,103,113, 131, 133, 211, 221, 223, 233, ...}M(Primos4) = {2,3,11}.4 Primos5 ={2,3,10,12,21, 23,32, 34, 43, 104,111,122,131, 133, 142, ...}M(Primos5) = {2,3,10,111,401}.5 Primos6 ={2,3,5,11,15,21, 25, 31, 35, 45,51, 101, 105, 111,115, ...}M(Primos6) = {2,3,5,11,40041}.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 70: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Topico de investigacion

1 Primos2 ={10,11,101,111, 1011,1101, 10001, 10011, 10111, 11101, 11111, 100101M(Primos2) = {10,11}2 Primos3 ={2,10,12,21, 102, 111, 122, 201, 212, 1002,1011, 1101, 1112, 1121, 1202M(Primos3) = {2,10,111}.3 Primos4 ={2,3,11,13,23, 31,101,103,113, 131, 133, 211, 221, 223, 233, ...}M(Primos4) = {2,3,11}.4 Primos5 ={2,3,10,12,21, 23,32, 34, 43, 104,111,122,131, 133, 142, ...}M(Primos5) = {2,3,10,111,401}.5 Primos6 ={2,3,5,11,15,21, 25, 31, 35, 45,51, 101, 105, 111,115, ...}M(Primos6) = {2,3,5,11,40041}.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 71: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Topico de investigacion

1 Primos2 ={10,11,101,111, 1011,1101, 10001, 10011, 10111, 11101, 11111, 100101M(Primos2) = {10,11}2 Primos3 ={2,10,12,21, 102, 111, 122, 201, 212, 1002,1011, 1101, 1112, 1121, 1202M(Primos3) = {2,10,111}.3 Primos4 ={2,3,11,13,23, 31,101,103,113, 131, 133, 211, 221, 223, 233, ...}M(Primos4) = {2,3,11}.4 Primos5 ={2,3,10,12,21, 23,32, 34, 43, 104,111,122,131, 133, 142, ...}M(Primos5) = {2,3,10,111,401}.5 Primos6 ={2,3,5,11,15,21, 25, 31, 35, 45,51, 101, 105, 111,115, ...}M(Primos6) = {2,3,5,11,40041}.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 72: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Topico de investigacion

1 Primos2 ={10,11,101,111, 1011,1101, 10001, 10011, 10111, 11101, 11111, 100101M(Primos2) = {10,11}2 Primos3 ={2,10,12,21, 102, 111, 122, 201, 212, 1002,1011, 1101, 1112, 1121, 1202M(Primos3) = {2,10,111}.3 Primos4 ={2,3,11,13,23, 31,101,103,113, 131, 133, 211, 221, 223, 233, ...}M(Primos4) = {2,3,11}.4 Primos5 ={2,3,10,12,21, 23,32, 34, 43, 104,111,122,131, 133, 142, ...}M(Primos5) = {2,3,10,111,401}.5 Primos6 ={2,3,5,11,15,21, 25, 31, 35, 45,51, 101, 105, 111,115, ...}M(Primos6) = {2,3,5,11,40041}.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 73: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Topico de investigacion

1 Primos2 ={10,11,101,111, 1011,1101, 10001, 10011, 10111, 11101, 11111, 100101M(Primos2) = {10,11}2 Primos3 ={2,10,12,21, 102, 111, 122, 201, 212, 1002,1011, 1101, 1112, 1121, 1202M(Primos3) = {2,10,111}.3 Primos4 ={2,3,11,13,23, 31,101,103,113, 131, 133, 211, 221, 223, 233, ...}M(Primos4) = {2,3,11}.4 Primos5 ={2,3,10,12,21, 23,32, 34, 43, 104,111,122,131, 133, 142, ...}M(Primos5) = {2,3,10,111,401}.5 Primos6 ={2,3,5,11,15,21, 25, 31, 35, 45,51, 101, 105, 111,115, ...}M(Primos6) = {2,3,5,11,40041}.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 74: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Topico de investigacion

1 Primos2 ={10,11,101,111, 1011,1101, 10001, 10011, 10111, 11101, 11111, 100101M(Primos2) = {10,11}2 Primos3 ={2,10,12,21, 102, 111, 122, 201, 212, 1002,1011, 1101, 1112, 1121, 1202M(Primos3) = {2,10,111}.3 Primos4 ={2,3,11,13,23, 31,101,103,113, 131, 133, 211, 221, 223, 233, ...}M(Primos4) = {2,3,11}.4 Primos5 ={2,3,10,12,21, 23,32, 34, 43, 104,111,122,131, 133, 142, ...}M(Primos5) = {2,3,10,111,401}.5 Primos6 ={2,3,5,11,15,21, 25, 31, 35, 45,51, 101, 105, 111,115, ...}M(Primos6) = {2,3,5,11,40041}.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 75: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Topico de investigacion

1 Primos2 ={10,11,101,111, 1011,1101, 10001, 10011, 10111, 11101, 11111, 100101M(Primos2) = {10,11}2 Primos3 ={2,10,12,21, 102, 111, 122, 201, 212, 1002,1011, 1101, 1112, 1121, 1202M(Primos3) = {2,10,111}.3 Primos4 ={2,3,11,13,23, 31,101,103,113, 131, 133, 211, 221, 223, 233, ...}M(Primos4) = {2,3,11}.4 Primos5 ={2,3,10,12,21, 23,32, 34, 43, 104,111,122,131, 133, 142, ...}M(Primos5) = {2,3,10,111,401}.5 Primos6 ={2,3,5,11,15,21, 25, 31, 35, 45,51, 101, 105, 111,115, ...}M(Primos6) = {2,3,5,11,40041}.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 76: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Topico de investigacion

1 Primos2 ={10,11,101,111, 1011,1101, 10001, 10011, 10111, 11101, 11111, 100101M(Primos2) = {10,11}2 Primos3 ={2,10,12,21, 102, 111, 122, 201, 212, 1002,1011, 1101, 1112, 1121, 1202M(Primos3) = {2,10,111}.3 Primos4 ={2,3,11,13,23, 31,101,103,113, 131, 133, 211, 221, 223, 233, ...}M(Primos4) = {2,3,11}.4 Primos5 ={2,3,10,12,21, 23,32, 34, 43, 104,111,122,131, 133, 142, ...}M(Primos5) = {2,3,10,111,401}.5 Primos6 ={2,3,5,11,15,21, 25, 31, 35, 45,51, 101, 105, 111,115, ...}M(Primos6) = {2,3,5,11,40041}.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 77: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Topico de investigacion

1 Primos7 ={2,3,5,10,14,16, 23, 25, 32, 41,43, 52, 56,61, 65, ...}M(Primos7) = {2,3,5,10,14,16, 41}.2 Primos8 ={2,3,5,7,13, 15,21, 23, 27,35, 37, 45, 51, 53,57, ...}M(Primos8) ={2,3,5,7,111,141,161,401,661, 6101, 6441, ..??}.3 Primos9 ={2,3,5,7,12, 14,18, 21, 25,32, 34, 41, 45, 47,52, ...}M(Primos9) = {2,3,5,7,14,18, 41, 81}.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 78: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Topico de investigacion

1 Primos7 ={2,3,5,10,14,16, 23, 25, 32, 41,43, 52, 56,61, 65, ...}M(Primos7) = {2,3,5,10,14,16, 41}.2 Primos8 ={2,3,5,7,13, 15,21, 23, 27,35, 37, 45, 51, 53,57, ...}M(Primos8) ={2,3,5,7,111,141,161,401,661, 6101, 6441, ..??}.3 Primos9 ={2,3,5,7,12, 14,18, 21, 25,32, 34, 41, 45, 47,52, ...}M(Primos9) = {2,3,5,7,14,18, 41, 81}.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 79: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Topico de investigacion

1 Primos7 ={2,3,5,10,14,16, 23, 25, 32, 41,43, 52, 56,61, 65, ...}M(Primos7) = {2,3,5,10,14,16, 41}.2 Primos8 ={2,3,5,7,13, 15,21, 23, 27,35, 37, 45, 51, 53,57, ...}M(Primos8) ={2,3,5,7,111,141,161,401,661, 6101, 6441, ..??}.3 Primos9 ={2,3,5,7,12, 14,18, 21, 25,32, 34, 41, 45, 47,52, ...}M(Primos9) = {2,3,5,7,14,18, 41, 81}.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 80: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Topico de investigacion

1 Primos7 ={2,3,5,10,14,16, 23, 25, 32, 41,43, 52, 56,61, 65, ...}M(Primos7) = {2,3,5,10,14,16, 41}.2 Primos8 ={2,3,5,7,13, 15,21, 23, 27,35, 37, 45, 51, 53,57, ...}M(Primos8) ={2,3,5,7,111,141,161,401,661, 6101, 6441, ..??}.3 Primos9 ={2,3,5,7,12, 14,18, 21, 25,32, 34, 41, 45, 47,52, ...}M(Primos9) = {2,3,5,7,14,18, 41, 81}.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 81: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Topico de investigacion

1 Primos7 ={2,3,5,10,14,16, 23, 25, 32, 41,43, 52, 56,61, 65, ...}M(Primos7) = {2,3,5,10,14,16, 41}.2 Primos8 ={2,3,5,7,13, 15,21, 23, 27,35, 37, 45, 51, 53,57, ...}M(Primos8) ={2,3,5,7,111,141,161,401,661, 6101, 6441, ..??}.3 Primos9 ={2,3,5,7,12, 14,18, 21, 25,32, 34, 41, 45, 47,52, ...}M(Primos9) = {2,3,5,7,14,18, 41, 81}.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 82: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Topico de investigacion

1 Primos7 ={2,3,5,10,14,16, 23, 25, 32, 41,43, 52, 56,61, 65, ...}M(Primos7) = {2,3,5,10,14,16, 41}.2 Primos8 ={2,3,5,7,13, 15,21, 23, 27,35, 37, 45, 51, 53,57, ...}M(Primos8) ={2,3,5,7,111,141,161,401,661, 6101, 6441, ..??}.3 Primos9 ={2,3,5,7,12, 14,18, 21, 25,32, 34, 41, 45, 47,52, ...}M(Primos9) = {2,3,5,7,14,18, 41, 81}.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 83: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Topico de investigacion

1 Primos7 ={2,3,5,10,14,16, 23, 25, 32, 41,43, 52, 56,61, 65, ...}M(Primos7) = {2,3,5,10,14,16, 41}.2 Primos8 ={2,3,5,7,13, 15,21, 23, 27,35, 37, 45, 51, 53,57, ...}M(Primos8) ={2,3,5,7,111,141,161,401,661, 6101, 6441, ..??}.3 Primos9 ={2,3,5,7,12, 14,18, 21, 25,32, 34, 41, 45, 47,52, ...}M(Primos9) = {2,3,5,7,14,18, 41, 81}.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 84: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Ejercicios

1 Si Pares ∶= {2n ∶ n ≥ 0} = {0,2,4,6,8,10, . . .} entonces¿M(Pares)?.

2 Si Impares ∶= {2n + 1 ∶ n ≥ 0} = {1,3,5,7,9,11, . . .} entonces¿M(Impares)?.

3 Si 2n ∶= {2n ∶ n ≥ 0} = {1,2,4,8,16, . . .} entonces ¿M(2n)?.4 Si PerfectosP ∶= {n ∶ n es un numero perfecto par} ={6,28,496,8128, . . .} entonces ¿M(PerfectosP )?.5 Si Fib ∶= {n ∶ n es un numero de Fibonacci} ={1,2,3,5,8,13, . . .} entonces ¿M(Fib)?.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 85: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Ejercicios

1 Si Pares ∶= {2n ∶ n ≥ 0} = {0,2,4,6,8,10, . . .} entonces¿M(Pares)?.

2 Si Impares ∶= {2n + 1 ∶ n ≥ 0} = {1,3,5,7,9,11, . . .} entonces¿M(Impares)?.

3 Si 2n ∶= {2n ∶ n ≥ 0} = {1,2,4,8,16, . . .} entonces ¿M(2n)?.4 Si PerfectosP ∶= {n ∶ n es un numero perfecto par} ={6,28,496,8128, . . .} entonces ¿M(PerfectosP )?.5 Si Fib ∶= {n ∶ n es un numero de Fibonacci} ={1,2,3,5,8,13, . . .} entonces ¿M(Fib)?.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 86: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Ejercicios

1 Si Pares ∶= {2n ∶ n ≥ 0} = {0,2,4,6,8,10, . . .} entonces¿M(Pares)?.

2 Si Impares ∶= {2n + 1 ∶ n ≥ 0} = {1,3,5,7,9,11, . . .} entonces¿M(Impares)?.

3 Si 2n ∶= {2n ∶ n ≥ 0} = {1,2,4,8,16, . . .} entonces ¿M(2n)?.4 Si PerfectosP ∶= {n ∶ n es un numero perfecto par} ={6,28,496,8128, . . .} entonces ¿M(PerfectosP )?.5 Si Fib ∶= {n ∶ n es un numero de Fibonacci} ={1,2,3,5,8,13, . . .} entonces ¿M(Fib)?.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 87: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Ejercicios

1 Si Pares ∶= {2n ∶ n ≥ 0} = {0,2,4,6,8,10, . . .} entonces¿M(Pares)?.

2 Si Impares ∶= {2n + 1 ∶ n ≥ 0} = {1,3,5,7,9,11, . . .} entonces¿M(Impares)?.

3 Si 2n ∶= {2n ∶ n ≥ 0} = {1,2,4,8,16, . . .} entonces ¿M(2n)?.4 Si PerfectosP ∶= {n ∶ n es un numero perfecto par} ={6,28,496,8128, . . .} entonces ¿M(PerfectosP )?.5 Si Fib ∶= {n ∶ n es un numero de Fibonacci} ={1,2,3,5,8,13, . . .} entonces ¿M(Fib)?.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 88: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasLongitud e Igualdad de una Cadena Concatenacion de una Cadena

Ejercicios

1 Si Pares ∶= {2n ∶ n ≥ 0} = {0,2,4,6,8,10, . . .} entonces¿M(Pares)?.

2 Si Impares ∶= {2n + 1 ∶ n ≥ 0} = {1,3,5,7,9,11, . . .} entonces¿M(Impares)?.

3 Si 2n ∶= {2n ∶ n ≥ 0} = {1,2,4,8,16, . . .} entonces ¿M(2n)?.4 Si PerfectosP ∶= {n ∶ n es un numero perfecto par} ={6,28,496,8128, . . .} entonces ¿M(PerfectosP )?.5 Si Fib ∶= {n ∶ n es un numero de Fibonacci} ={1,2,3,5,8,13, . . .} entonces ¿M(Fib)?.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 89: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Lenguajes

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 90: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Lenguajes

Un lenguaje L sobre un alfabeto Σ es un subconjunto de Σ∗. Los

lenguajes se denotan con letras mayusculasA,B,C, . . . L,M,N, . . ..

Ejemplo

Los siguientes son ejemplos de lenguajes sobre los alfabetosespecificados.

Σ = {0,1}. L = {0,1,00,01,10, 11}.Σ = {0,1}. L = {1,11,1111,11111111, . . .} = {12n ∶ n ≥ 0}.Σ = {a, b}. L = {w ∶ w = wR} (Palındromos, Ej: Sometemos,somos, analina, arepera, ... ).

Σ = {0,1,2,3,4,5, 6, 7, 8, 9}.L = {u ∈ Σ∗ ∶ u = 0 o 0 no es prefijo de u} = N.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 91: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Lenguajes

Un lenguaje L sobre un alfabeto Σ es un subconjunto de Σ∗. Los

lenguajes se denotan con letras mayusculasA,B,C, . . . L,M,N, . . ..

Ejemplo

Los siguientes son ejemplos de lenguajes sobre los alfabetosespecificados.

Σ = {0,1}. L = {0,1,00,01,10, 11}.Σ = {0,1}. L = {1,11,1111,11111111, . . .} = {12n ∶ n ≥ 0}.Σ = {a, b}. L = {w ∶ w = wR} (Palındromos, Ej: Sometemos,somos, analina, arepera, ... ).

Σ = {0,1,2,3,4,5, 6, 7, 8, 9}.L = {u ∈ Σ∗ ∶ u = 0 o 0 no es prefijo de u} = N.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 92: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Lenguajes

Un lenguaje L sobre un alfabeto Σ es un subconjunto de Σ∗. Los

lenguajes se denotan con letras mayusculasA,B,C, . . . L,M,N, . . ..

Ejemplo

Los siguientes son ejemplos de lenguajes sobre los alfabetosespecificados.

Σ = {0,1}. L = {0,1,00,01,10, 11}.Σ = {0,1}. L = {1,11,1111,11111111, . . .} = {12n ∶ n ≥ 0}.Σ = {a, b}. L = {w ∶ w = wR} (Palındromos, Ej: Sometemos,somos, analina, arepera, ... ).

Σ = {0,1,2,3,4,5, 6, 7, 8, 9}.L = {u ∈ Σ∗ ∶ u = 0 o 0 no es prefijo de u} = N.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 93: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Lenguajes

Un lenguaje L sobre un alfabeto Σ es un subconjunto de Σ∗. Los

lenguajes se denotan con letras mayusculasA,B,C, . . . L,M,N, . . ..

Ejemplo

Los siguientes son ejemplos de lenguajes sobre los alfabetosespecificados.

Σ = {0,1}. L = {0,1,00,01,10, 11}.Σ = {0,1}. L = {1,11,1111,11111111, . . .} = {12n ∶ n ≥ 0}.Σ = {a, b}. L = {w ∶ w = wR} (Palındromos, Ej: Sometemos,somos, analina, arepera, ... ).

Σ = {0,1,2,3,4,5, 6, 7, 8, 9}.L = {u ∈ Σ∗ ∶ u = 0 o 0 no es prefijo de u} = N.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 94: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Lenguajes

Un lenguaje L sobre un alfabeto Σ es un subconjunto de Σ∗. Los

lenguajes se denotan con letras mayusculasA,B,C, . . . L,M,N, . . ..

Ejemplo

Los siguientes son ejemplos de lenguajes sobre los alfabetosespecificados.

Σ = {0,1}. L = {0,1,00,01,10, 11}.Σ = {0,1}. L = {1,11,1111,11111111, . . .} = {12n ∶ n ≥ 0}.Σ = {a, b}. L = {w ∶ w = wR} (Palındromos, Ej: Sometemos,somos, analina, arepera, ... ).

Σ = {0,1,2,3,4,5, 6, 7, 8, 9}.L = {u ∈ Σ∗ ∶ u = 0 o 0 no es prefijo de u} = N.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 95: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Lenguajes

A ∪B = {v ∶ v ∈ A o v ∈ B} UnionA ∩B = {v ∶ v ∈ A y v ∈ B} InterseccionA −B = {v ∶ v ∈ A y v ∉ B} DiferenciaA = Σ∗ −A Complemento

Para todo lenguaje finito A ⊆ Σ∗, se escribe ∣A∣ al numero decadenas en A.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 96: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Lenguajes

A ∪B = {v ∶ v ∈ A o v ∈ B} UnionA ∩B = {v ∶ v ∈ A y v ∈ B} InterseccionA −B = {v ∶ v ∈ A y v ∉ B} DiferenciaA = Σ∗ −A Complemento

Para todo lenguaje finito A ⊆ Σ∗, se escribe ∣A∣ al numero decadenas en A.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 97: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Concatenacion de Lenguajes

La concatenacion de dos lenguajes A y B sobre Σ, notada AB,se define como

AB = {uv ∶ u ∈ A,v ∈ B}En general AB ≠ BA.

Ejemplo

Si Σ = {0,1}, A = {0,01}, B = {1,10}, entoncesAB = {01,010,011,0110} .BA = {10,101,100,1001} .

Ejemplo

Si Σ = {0,1,2}, A = {01,12}, B = {1n ∶ n ≥ 0}, entoncesAB = {01n ∶ n ≥ 1} ∪ {121n ∶ n ≥ 0} .BA = {1n01 ∶ n ≥ 0} ∪ {1n2 ∶ n ≥ 1} .Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 98: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Concatenacion de Lenguajes

La concatenacion de dos lenguajes A y B sobre Σ, notada AB,se define como

AB = {uv ∶ u ∈ A,v ∈ B}En general AB ≠ BA.

Ejemplo

Si Σ = {0,1}, A = {0,01}, B = {1,10}, entoncesAB = {01,010,011,0110} .BA = {10,101,100,1001} .

Ejemplo

Si Σ = {0,1,2}, A = {01,12}, B = {1n ∶ n ≥ 0}, entoncesAB = {01n ∶ n ≥ 1} ∪ {121n ∶ n ≥ 0} .BA = {1n01 ∶ n ≥ 0} ∪ {1n2 ∶ n ≥ 1} .Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 99: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Concatenacion de Lenguajes

La concatenacion de dos lenguajes A y B sobre Σ, notada AB,se define como

AB = {uv ∶ u ∈ A,v ∈ B}En general AB ≠ BA.

Ejemplo

Si Σ = {0,1}, A = {0,01}, B = {1,10}, entoncesAB = {01,010,011,0110} .BA = {10,101,100,1001} .

Ejemplo

Si Σ = {0,1,2}, A = {01,12}, B = {1n ∶ n ≥ 0}, entoncesAB = {01n ∶ n ≥ 1} ∪ {121n ∶ n ≥ 0} .BA = {1n01 ∶ n ≥ 0} ∪ {1n2 ∶ n ≥ 1} .Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 100: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Concatenacion de Lenguajes

Proposicion

Sean A,B,C lenguajes sobre Σ, entonces:

1 A∅ = ∅A = ∅.2 A{λ} = A = {λ}A.3 Propiedad Asociativa: A(BC) = (AB)C.

4 Distributividad de la concatenacion con respecto a la union:

A(B ∪C) = AB ∪AC(B ∪C)A = BA ∪CA

5 Propiedad distributiva generalizada. Si {Bi}i∈I es una familiacualquiera de lenguajes sobre Σ, entonces

A⋃i∈I

Bi = ⋃i∈I

(ABi). (⋃i∈I

Bi)A = ⋃i∈I

(BiA).Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 101: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Concatenacion de Lenguajes

Proposicion

Sean A,B,C lenguajes sobre Σ, entonces:

1 A∅ = ∅A = ∅.2 A{λ} = A = {λ}A.3 Propiedad Asociativa: A(BC) = (AB)C.

4 Distributividad de la concatenacion con respecto a la union:

A(B ∪C) = AB ∪AC(B ∪C)A = BA ∪CA

5 Propiedad distributiva generalizada. Si {Bi}i∈I es una familiacualquiera de lenguajes sobre Σ, entonces

A⋃i∈I

Bi = ⋃i∈I

(ABi). (⋃i∈I

Bi)A = ⋃i∈I

(BiA).Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 102: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Concatenacion de Lenguajes

Proposicion

Sean A,B,C lenguajes sobre Σ, entonces:

1 A∅ = ∅A = ∅.2 A{λ} = A = {λ}A.3 Propiedad Asociativa: A(BC) = (AB)C.

4 Distributividad de la concatenacion con respecto a la union:

A(B ∪C) = AB ∪AC(B ∪C)A = BA ∪CA

5 Propiedad distributiva generalizada. Si {Bi}i∈I es una familiacualquiera de lenguajes sobre Σ, entonces

A⋃i∈I

Bi = ⋃i∈I

(ABi). (⋃i∈I

Bi)A = ⋃i∈I

(BiA).Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 103: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Concatenacion de Lenguajes

Proposicion

Sean A,B,C lenguajes sobre Σ, entonces:

1 A∅ = ∅A = ∅.2 A{λ} = A = {λ}A.3 Propiedad Asociativa: A(BC) = (AB)C.

4 Distributividad de la concatenacion con respecto a la union:

A(B ∪C) = AB ∪AC(B ∪C)A = BA ∪CA

5 Propiedad distributiva generalizada. Si {Bi}i∈I es una familiacualquiera de lenguajes sobre Σ, entonces

A⋃i∈I

Bi = ⋃i∈I

(ABi). (⋃i∈I

Bi)A = ⋃i∈I

(BiA).Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 104: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Concatenacion de Lenguajes

Proposicion

Sean A,B,C lenguajes sobre Σ, entonces:

1 A∅ = ∅A = ∅.2 A{λ} = A = {λ}A.3 Propiedad Asociativa: A(BC) = (AB)C.

4 Distributividad de la concatenacion con respecto a la union:

A(B ∪C) = AB ∪AC(B ∪C)A = BA ∪CA

5 Propiedad distributiva generalizada. Si {Bi}i∈I es una familiacualquiera de lenguajes sobre Σ, entonces

A⋃i∈I

Bi = ⋃i∈I

(ABi). (⋃i∈I

Bi)A = ⋃i∈I

(BiA).Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 105: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Concatenacion de Lenguajes

Dado un lenguaje A sobre Σ (A ⊆ Σ∗) y un numero natural n, sedefine An de la siguiente forma

A0 = {λ} ,An = AA. . . A´¹¹¹¹¹¹¹¹¹¹¹¹¹¹¸¹¹¹¹¹¹¹¹¹¹¹¹¹¹¶

n veces

= {u1⋯un ∶ ui ∈ A, para todo i, 1 ≤ i ≤ n}

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 106: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Estrella de Kleene de un Lenguaje

La estrella de Kleene o simplemente estrella de un lenguaje A,A ⊆ Σ∗, es la union de todas las potencias de A y se denota porA∗.

A∗ = ⋃i≥0

Ai = A0 ∪A1 ∪A2 ∪⋯∪An ∪⋯Es decir que A∗ consta de todas las concatenaciones de cadenas deA consigo mismas, de todas las formas posibles. Por lo tanto

A∗ = {u1u2⋯un ∶ ui ∈ A, n ≥ 0}De manera similar se define la clausura positiva de un lenguaje A,denotada por A+.

A+ = ⋃i≥1

Ai = A1 ∪A2 ∪⋯∪An ∪⋯Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 107: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Estrella de Kleene de un Lenguaje

La estrella de Kleene o simplemente estrella de un lenguaje A,A ⊆ Σ∗, es la union de todas las potencias de A y se denota porA∗.

A∗ = ⋃i≥0

Ai = A0 ∪A1 ∪A2 ∪⋯∪An ∪⋯Es decir que A∗ consta de todas las concatenaciones de cadenas deA consigo mismas, de todas las formas posibles. Por lo tanto

A∗ = {u1u2⋯un ∶ ui ∈ A, n ≥ 0}De manera similar se define la clausura positiva de un lenguaje A,denotada por A+.

A+ = ⋃i≥1

Ai = A1 ∪A2 ∪⋯∪An ∪⋯Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 108: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Estrella de Kleene de un Lenguaje

La estrella de Kleene o simplemente estrella de un lenguaje A,A ⊆ Σ∗, es la union de todas las potencias de A y se denota porA∗.

A∗ = ⋃i≥0

Ai = A0 ∪A1 ∪A2 ∪⋯∪An ∪⋯Es decir que A∗ consta de todas las concatenaciones de cadenas deA consigo mismas, de todas las formas posibles. Por lo tanto

A∗ = {u1u2⋯un ∶ ui ∈ A, n ≥ 0}De manera similar se define la clausura positiva de un lenguaje A,denotada por A+.

A+ = ⋃i≥1

Ai = A1 ∪A2 ∪⋯∪An ∪⋯Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 109: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Estrella de Kleene de un Lenguaje

Ejemplo

Sea L = {w ∶ ∣w∣a es impar y ∣w∣b es par} sobre el alfabetoΣ = {a, b}, entonces L∗ = {w ∶ ∣w∣b es par}.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 110: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Estrella de Kleene de un Lenguaje

Ejemplo

Sea L = {w ∶ ∣w∣a es impar y ∣w∣b es par} sobre el alfabetoΣ = {a, b}, entonces L∗ = {w ∶ ∣w∣b es par}.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 111: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Estrella de Kleene de un Lenguaje

Proposicion

Sean A,B lenguajes sobre Σ, entonces:

1 A+ = A∗A = AA∗.2 A∗A∗ = A∗.3 (A∗)n = A∗, para todo n ≥ 1.4 (A∗)∗ = A∗.5 A+A+ ⊆ A+.6 (A∗)+ = A∗.7 (A+)∗ = A∗.8 (A+)+ = A+.9 (A ∪B)∗ = (A∗B∗)∗

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 112: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Estrella de Kleene de un Lenguaje

Proposicion

Sean A,B lenguajes sobre Σ, entonces:

1 A+ = A∗A = AA∗.2 A∗A∗ = A∗.3 (A∗)n = A∗, para todo n ≥ 1.4 (A∗)∗ = A∗.5 A+A+ ⊆ A+.6 (A∗)+ = A∗.7 (A+)∗ = A∗.8 (A+)+ = A+.9 (A ∪B)∗ = (A∗B∗)∗

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 113: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Estrella de Kleene de un Lenguaje

Proposicion

Sean A,B lenguajes sobre Σ, entonces:

1 A+ = A∗A = AA∗.2 A∗A∗ = A∗.3 (A∗)n = A∗, para todo n ≥ 1.4 (A∗)∗ = A∗.5 A+A+ ⊆ A+.6 (A∗)+ = A∗.7 (A+)∗ = A∗.8 (A+)+ = A+.9 (A ∪B)∗ = (A∗B∗)∗

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 114: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Estrella de Kleene de un Lenguaje

Proposicion

Sean A,B lenguajes sobre Σ, entonces:

1 A+ = A∗A = AA∗.2 A∗A∗ = A∗.3 (A∗)n = A∗, para todo n ≥ 1.4 (A∗)∗ = A∗.5 A+A+ ⊆ A+.6 (A∗)+ = A∗.7 (A+)∗ = A∗.8 (A+)+ = A+.9 (A ∪B)∗ = (A∗B∗)∗

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 115: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Estrella de Kleene de un Lenguaje

Proposicion

Sean A,B lenguajes sobre Σ, entonces:

1 A+ = A∗A = AA∗.2 A∗A∗ = A∗.3 (A∗)n = A∗, para todo n ≥ 1.4 (A∗)∗ = A∗.5 A+A+ ⊆ A+.6 (A∗)+ = A∗.7 (A+)∗ = A∗.8 (A+)+ = A+.9 (A ∪B)∗ = (A∗B∗)∗

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 116: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Estrella de Kleene de un Lenguaje

Proposicion

Sean A,B lenguajes sobre Σ, entonces:

1 A+ = A∗A = AA∗.2 A∗A∗ = A∗.3 (A∗)n = A∗, para todo n ≥ 1.4 (A∗)∗ = A∗.5 A+A+ ⊆ A+.6 (A∗)+ = A∗.7 (A+)∗ = A∗.8 (A+)+ = A+.9 (A ∪B)∗ = (A∗B∗)∗

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 117: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Estrella de Kleene de un Lenguaje

Proposicion

Sean A,B lenguajes sobre Σ, entonces:

1 A+ = A∗A = AA∗.2 A∗A∗ = A∗.3 (A∗)n = A∗, para todo n ≥ 1.4 (A∗)∗ = A∗.5 A+A+ ⊆ A+.6 (A∗)+ = A∗.7 (A+)∗ = A∗.8 (A+)+ = A+.9 (A ∪B)∗ = (A∗B∗)∗

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 118: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Estrella de Kleene de un Lenguaje

Proposicion

Sean A,B lenguajes sobre Σ, entonces:

1 A+ = A∗A = AA∗.2 A∗A∗ = A∗.3 (A∗)n = A∗, para todo n ≥ 1.4 (A∗)∗ = A∗.5 A+A+ ⊆ A+.6 (A∗)+ = A∗.7 (A+)∗ = A∗.8 (A+)+ = A+.9 (A ∪B)∗ = (A∗B∗)∗

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 119: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Estrella de Kleene de un Lenguaje

Proposicion

Sean A,B lenguajes sobre Σ, entonces:

1 A+ = A∗A = AA∗.2 A∗A∗ = A∗.3 (A∗)n = A∗, para todo n ≥ 1.4 (A∗)∗ = A∗.5 A+A+ ⊆ A+.6 (A∗)+ = A∗.7 (A+)∗ = A∗.8 (A+)+ = A+.9 (A ∪B)∗ = (A∗B∗)∗

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 120: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Otras Operaciones entre Lenguajes

El inverso de un lenguaje A sobre Σ, notado AR, se define como

AR = {uR ∶ u ∈ A}Proposicion

Sean A,B lenguajes sobre Σ, entonces:

1 (AB)R = BRAR.

2 (A ∪B)R = AR ∪BR.

3 (A ∩B)R = AR ∩BR.

4 (AR)R = A.5 (A∗)R = (AR)∗.6 (A+)R = (AR)+.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 121: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Otras Operaciones entre Lenguajes

El inverso de un lenguaje A sobre Σ, notado AR, se define como

AR = {uR ∶ u ∈ A}Proposicion

Sean A,B lenguajes sobre Σ, entonces:

1 (AB)R = BRAR.

2 (A ∪B)R = AR ∪BR.

3 (A ∩B)R = AR ∩BR.

4 (AR)R = A.5 (A∗)R = (AR)∗.6 (A+)R = (AR)+.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 122: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Otras Operaciones entre Lenguajes

El inverso de un lenguaje A sobre Σ, notado AR, se define como

AR = {uR ∶ u ∈ A}Proposicion

Sean A,B lenguajes sobre Σ, entonces:

1 (AB)R = BRAR.

2 (A ∪B)R = AR ∪BR.

3 (A ∩B)R = AR ∩BR.

4 (AR)R = A.5 (A∗)R = (AR)∗.6 (A+)R = (AR)+.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 123: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Otras Operaciones entre Lenguajes

El inverso de un lenguaje A sobre Σ, notado AR, se define como

AR = {uR ∶ u ∈ A}Proposicion

Sean A,B lenguajes sobre Σ, entonces:

1 (AB)R = BRAR.

2 (A ∪B)R = AR ∪BR.

3 (A ∩B)R = AR ∩BR.

4 (AR)R = A.5 (A∗)R = (AR)∗.6 (A+)R = (AR)+.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 124: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Otras Operaciones entre Lenguajes

El inverso de un lenguaje A sobre Σ, notado AR, se define como

AR = {uR ∶ u ∈ A}Proposicion

Sean A,B lenguajes sobre Σ, entonces:

1 (AB)R = BRAR.

2 (A ∪B)R = AR ∪BR.

3 (A ∩B)R = AR ∩BR.

4 (AR)R = A.5 (A∗)R = (AR)∗.6 (A+)R = (AR)+.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 125: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Otras Operaciones entre Lenguajes

El inverso de un lenguaje A sobre Σ, notado AR, se define como

AR = {uR ∶ u ∈ A}Proposicion

Sean A,B lenguajes sobre Σ, entonces:

1 (AB)R = BRAR.

2 (A ∪B)R = AR ∪BR.

3 (A ∩B)R = AR ∩BR.

4 (AR)R = A.5 (A∗)R = (AR)∗.6 (A+)R = (AR)+.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 126: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Cardinalidad de los Lenguajes

Teorema (Cardinalidad de Σ∗)

Si Σ ≠ ∅ entonces Σ∗ es un conjunto numerable.

Demostracion.

Sea Σn = el conjunto de todas las cadenas sobre Σ de longitud n,n ≥ 0, (Σ0 = {λ}). Si ∣Σ∣ =m, entonces existen mn cadenas en Σn.Como Σ

∗ = ⋃n≥0Σn entonces Σ∗ es la union numerable deconjuntos finitos disjuntos dos a dos, por lo tanto Σ

∗ esnumerable.

Ası todos los lenguajes son finitos o numerables.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 127: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Cardinalidad de los Lenguajes

Teorema (Cardinalidad de Σ∗)

Si Σ ≠ ∅ entonces Σ∗ es un conjunto numerable.

Demostracion.

Sea Σn = el conjunto de todas las cadenas sobre Σ de longitud n,n ≥ 0, (Σ0 = {λ}). Si ∣Σ∣ =m, entonces existen mn cadenas en Σn.Como Σ

∗ = ⋃n≥0Σn entonces Σ∗ es la union numerable deconjuntos finitos disjuntos dos a dos, por lo tanto Σ

∗ esnumerable.

Ası todos los lenguajes son finitos o numerables.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 128: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Cardinalidad de los Lenguajes

Teorema (Cardinalidad de ℘(Σ∗))Si Σ ≠ ∅ entonces el numero de lenguajes sobre Σ es no contable.

Demostracion.

El conjunto de todos los lenguajes sobre Σ es ℘(Σ∗), ası el numerode lenguajes es el cardinal de ℘(Σ∗), como Σ

∗ es numerable,entonces por el Teorema de Cantor ℘(Σ∗) es no contable.

Existen tantos lenguajes sobre un alfabeto Σ como numeros reales.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 129: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Cardinalidad de los Lenguajes

Teorema (Cardinalidad de ℘(Σ∗))Si Σ ≠ ∅ entonces el numero de lenguajes sobre Σ es no contable.

Demostracion.

El conjunto de todos los lenguajes sobre Σ es ℘(Σ∗), ası el numerode lenguajes es el cardinal de ℘(Σ∗), como Σ

∗ es numerable,entonces por el Teorema de Cantor ℘(Σ∗) es no contable.

Existen tantos lenguajes sobre un alfabeto Σ como numeros reales.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 130: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Ejercicios

1 Sea Σ = {a, b}. Encuentre una cadena que este y otra que no,en el lenguaje L ⊆ Σ∗, donde L es:

1 {wwRw ∶ w ∈ ΣΣ}.2 {w ∈ Σ∗ ∶ w2 = w3}.3 {w ∈ Σ∗ ∶ w3 = v2, v ∈ Σ∗}.4 {w ∈ Σ∗ ∶ uvw = wuv,u, v ∈ Σ∗}.

2 ¿Si ∣A∣ = n ≥ 0 y ∣B∣ =m ≥ 0 entonces ∣AB∣ = nm?.

3 Encuentre la cadena de menor longitud sobre el alfabetoΣ = {0} que no pertenece a {λ,0,00,00000}3.

4 Dar un ejemplo de un alfabeto Σ y dos lenguajes diferentesA,B sobre Σ tales que AB = BA.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 131: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Ejercicios

1 Sea Σ = {a, b}. Encuentre una cadena que este y otra que no,en el lenguaje L ⊆ Σ∗, donde L es:

1 {wwRw ∶ w ∈ ΣΣ}.2 {w ∈ Σ∗ ∶ w2 = w3}.3 {w ∈ Σ∗ ∶ w3 = v2, v ∈ Σ∗}.4 {w ∈ Σ∗ ∶ uvw = wuv,u, v ∈ Σ∗}.

2 ¿Si ∣A∣ = n ≥ 0 y ∣B∣ =m ≥ 0 entonces ∣AB∣ = nm?.

3 Encuentre la cadena de menor longitud sobre el alfabetoΣ = {0} que no pertenece a {λ,0,00,00000}3.

4 Dar un ejemplo de un alfabeto Σ y dos lenguajes diferentesA,B sobre Σ tales que AB = BA.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 132: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Ejercicios

1 Sea Σ = {a, b}. Encuentre una cadena que este y otra que no,en el lenguaje L ⊆ Σ∗, donde L es:

1 {wwRw ∶ w ∈ ΣΣ}.2 {w ∈ Σ∗ ∶ w2 = w3}.3 {w ∈ Σ∗ ∶ w3 = v2, v ∈ Σ∗}.4 {w ∈ Σ∗ ∶ uvw = wuv,u, v ∈ Σ∗}.

2 ¿Si ∣A∣ = n ≥ 0 y ∣B∣ =m ≥ 0 entonces ∣AB∣ = nm?.

3 Encuentre la cadena de menor longitud sobre el alfabetoΣ = {0} que no pertenece a {λ,0,00,00000}3.

4 Dar un ejemplo de un alfabeto Σ y dos lenguajes diferentesA,B sobre Σ tales que AB = BA.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 133: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Ejercicios

1 Sea Σ = {a, b}. Encuentre una cadena que este y otra que no,en el lenguaje L ⊆ Σ∗, donde L es:

1 {wwRw ∶ w ∈ ΣΣ}.2 {w ∈ Σ∗ ∶ w2 = w3}.3 {w ∈ Σ∗ ∶ w3 = v2, v ∈ Σ∗}.4 {w ∈ Σ∗ ∶ uvw = wuv,u, v ∈ Σ∗}.

2 ¿Si ∣A∣ = n ≥ 0 y ∣B∣ =m ≥ 0 entonces ∣AB∣ = nm?.

3 Encuentre la cadena de menor longitud sobre el alfabetoΣ = {0} que no pertenece a {λ,0,00,00000}3.

4 Dar un ejemplo de un alfabeto Σ y dos lenguajes diferentesA,B sobre Σ tales que AB = BA.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 134: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Ejercicios

1 Sea Σ = {a, b}. Encuentre una cadena que este y otra que no,en el lenguaje L ⊆ Σ∗, donde L es:

1 {wwRw ∶ w ∈ ΣΣ}.2 {w ∈ Σ∗ ∶ w2 = w3}.3 {w ∈ Σ∗ ∶ w3 = v2, v ∈ Σ∗}.4 {w ∈ Σ∗ ∶ uvw = wuv,u, v ∈ Σ∗}.

2 ¿Si ∣A∣ = n ≥ 0 y ∣B∣ =m ≥ 0 entonces ∣AB∣ = nm?.

3 Encuentre la cadena de menor longitud sobre el alfabetoΣ = {0} que no pertenece a {λ,0,00,00000}3.

4 Dar un ejemplo de un alfabeto Σ y dos lenguajes diferentesA,B sobre Σ tales que AB = BA.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 135: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Ejercicios

1 Sea Σ = {a, b}. Encuentre una cadena que este y otra que no,en el lenguaje L ⊆ Σ∗, donde L es:

1 {wwRw ∶ w ∈ ΣΣ}.2 {w ∈ Σ∗ ∶ w2 = w3}.3 {w ∈ Σ∗ ∶ w3 = v2, v ∈ Σ∗}.4 {w ∈ Σ∗ ∶ uvw = wuv,u, v ∈ Σ∗}.

2 ¿Si ∣A∣ = n ≥ 0 y ∣B∣ =m ≥ 0 entonces ∣AB∣ = nm?.

3 Encuentre la cadena de menor longitud sobre el alfabetoΣ = {0} que no pertenece a {λ,0,00,00000}3.

4 Dar un ejemplo de un alfabeto Σ y dos lenguajes diferentesA,B sobre Σ tales que AB = BA.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 136: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Ejercicios

1 Sea Σ = {a, b}. Encuentre una cadena que este y otra que no,en el lenguaje L ⊆ Σ∗, donde L es:

1 {wwRw ∶ w ∈ ΣΣ}.2 {w ∈ Σ∗ ∶ w2 = w3}.3 {w ∈ Σ∗ ∶ w3 = v2, v ∈ Σ∗}.4 {w ∈ Σ∗ ∶ uvw = wuv,u, v ∈ Σ∗}.

2 ¿Si ∣A∣ = n ≥ 0 y ∣B∣ =m ≥ 0 entonces ∣AB∣ = nm?.

3 Encuentre la cadena de menor longitud sobre el alfabetoΣ = {0} que no pertenece a {λ,0,00,00000}3.

4 Dar un ejemplo de un alfabeto Σ y dos lenguajes diferentesA,B sobre Σ tales que AB = BA.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 137: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Ejercicios

1 Sea Σ = {a, b}. Encuentre una cadena que este y otra que no,en el lenguaje L ⊆ Σ∗, donde L es:

1 {wwRw ∶ w ∈ ΣΣ}.2 {w ∈ Σ∗ ∶ w2 = w3}.3 {w ∈ Σ∗ ∶ w3 = v2, v ∈ Σ∗}.4 {w ∈ Σ∗ ∶ uvw = wuv,u, v ∈ Σ∗}.

2 ¿Si ∣A∣ = n ≥ 0 y ∣B∣ =m ≥ 0 entonces ∣AB∣ = nm?.

3 Encuentre la cadena de menor longitud sobre el alfabetoΣ = {0} que no pertenece a {λ,0,00,00000}3.

4 Dar un ejemplo de un alfabeto Σ y dos lenguajes diferentesA,B sobre Σ tales que AB = BA.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 138: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Ejercicios

1 Para cada una de las siguientes afirmaciones, decida si esverdadera o no. Justifique su respuesta.Para todo lenguaje L se tiene que:

1 L∗ = L∗

.2 LR = L

R

.3 LLR ∪LRL = Σ∗.4 LL ∪ LL = Σ∗.5 Si L∗

1= L∗

2, entonces L1 = L2 para todo lenguaje L1 y L2.

6 AB = A B.

2 Dar un ejemplo de un alfabeto Σ y tres lenguajes diferentesA,B,C sobre Σ tales que A(B ∩C) ≠ AB ∩AC. Una de lados concatenaciones siguientes es verdadera y la otra es falsa.Demostrar o refutar, segun sea el caso:

1 A(B ∩C) ⊆ AB ∩AC.2 AB ∩AC ⊆ A(B ∩C).

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 139: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Ejercicios

1 Para cada una de las siguientes afirmaciones, decida si esverdadera o no. Justifique su respuesta.Para todo lenguaje L se tiene que:

1 L∗ = L∗

.2 LR = L

R

.3 LLR ∪LRL = Σ∗.4 LL ∪ LL = Σ∗.5 Si L∗

1= L∗

2, entonces L1 = L2 para todo lenguaje L1 y L2.

6 AB = A B.

2 Dar un ejemplo de un alfabeto Σ y tres lenguajes diferentesA,B,C sobre Σ tales que A(B ∩C) ≠ AB ∩AC. Una de lados concatenaciones siguientes es verdadera y la otra es falsa.Demostrar o refutar, segun sea el caso:

1 A(B ∩C) ⊆ AB ∩AC.2 AB ∩AC ⊆ A(B ∩C).

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 140: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Ejercicios

1 Para cada una de las siguientes afirmaciones, decida si esverdadera o no. Justifique su respuesta.Para todo lenguaje L se tiene que:

1 L∗ = L∗

.2 LR = L

R

.3 LLR ∪LRL = Σ∗.4 LL ∪ LL = Σ∗.5 Si L∗

1= L∗

2, entonces L1 = L2 para todo lenguaje L1 y L2.

6 AB = A B.

2 Dar un ejemplo de un alfabeto Σ y tres lenguajes diferentesA,B,C sobre Σ tales que A(B ∩C) ≠ AB ∩AC. Una de lados concatenaciones siguientes es verdadera y la otra es falsa.Demostrar o refutar, segun sea el caso:

1 A(B ∩C) ⊆ AB ∩AC.2 AB ∩AC ⊆ A(B ∩C).

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 141: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Ejercicios

1 Para cada una de las siguientes afirmaciones, decida si esverdadera o no. Justifique su respuesta.Para todo lenguaje L se tiene que:

1 L∗ = L∗

.2 LR = L

R

.3 LLR ∪LRL = Σ∗.4 LL ∪ LL = Σ∗.5 Si L∗

1= L∗

2, entonces L1 = L2 para todo lenguaje L1 y L2.

6 AB = A B.

2 Dar un ejemplo de un alfabeto Σ y tres lenguajes diferentesA,B,C sobre Σ tales que A(B ∩C) ≠ AB ∩AC. Una de lados concatenaciones siguientes es verdadera y la otra es falsa.Demostrar o refutar, segun sea el caso:

1 A(B ∩C) ⊆ AB ∩AC.2 AB ∩AC ⊆ A(B ∩C).

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 142: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Ejercicios

1 Para cada una de las siguientes afirmaciones, decida si esverdadera o no. Justifique su respuesta.Para todo lenguaje L se tiene que:

1 L∗ = L∗

.2 LR = L

R

.3 LLR ∪LRL = Σ∗.4 LL ∪ LL = Σ∗.5 Si L∗

1= L∗

2, entonces L1 = L2 para todo lenguaje L1 y L2.

6 AB = A B.

2 Dar un ejemplo de un alfabeto Σ y tres lenguajes diferentesA,B,C sobre Σ tales que A(B ∩C) ≠ AB ∩AC. Una de lados concatenaciones siguientes es verdadera y la otra es falsa.Demostrar o refutar, segun sea el caso:

1 A(B ∩C) ⊆ AB ∩AC.2 AB ∩AC ⊆ A(B ∩C).

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 143: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Ejercicios

1 Para cada una de las siguientes afirmaciones, decida si esverdadera o no. Justifique su respuesta.Para todo lenguaje L se tiene que:

1 L∗ = L∗

.2 LR = L

R

.3 LLR ∪LRL = Σ∗.4 LL ∪ LL = Σ∗.5 Si L∗

1= L∗

2, entonces L1 = L2 para todo lenguaje L1 y L2.

6 AB = A B.

2 Dar un ejemplo de un alfabeto Σ y tres lenguajes diferentesA,B,C sobre Σ tales que A(B ∩C) ≠ AB ∩AC. Una de lados concatenaciones siguientes es verdadera y la otra es falsa.Demostrar o refutar, segun sea el caso:

1 A(B ∩C) ⊆ AB ∩AC.2 AB ∩AC ⊆ A(B ∩C).

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 144: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Ejercicios

1 Para cada una de las siguientes afirmaciones, decida si esverdadera o no. Justifique su respuesta.Para todo lenguaje L se tiene que:

1 L∗ = L∗

.2 LR = L

R

.3 LLR ∪LRL = Σ∗.4 LL ∪ LL = Σ∗.5 Si L∗

1= L∗

2, entonces L1 = L2 para todo lenguaje L1 y L2.

6 AB = A B.

2 Dar un ejemplo de un alfabeto Σ y tres lenguajes diferentesA,B,C sobre Σ tales que A(B ∩C) ≠ AB ∩AC. Una de lados concatenaciones siguientes es verdadera y la otra es falsa.Demostrar o refutar, segun sea el caso:

1 A(B ∩C) ⊆ AB ∩AC.2 AB ∩AC ⊆ A(B ∩C).

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 145: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Ejercicios

1 Para cada una de las siguientes afirmaciones, decida si esverdadera o no. Justifique su respuesta.Para todo lenguaje L se tiene que:

1 L∗ = L∗

.2 LR = L

R

.3 LLR ∪LRL = Σ∗.4 LL ∪ LL = Σ∗.5 Si L∗

1= L∗

2, entonces L1 = L2 para todo lenguaje L1 y L2.

6 AB = A B.

2 Dar un ejemplo de un alfabeto Σ y tres lenguajes diferentesA,B,C sobre Σ tales que A(B ∩C) ≠ AB ∩AC. Una de lados concatenaciones siguientes es verdadera y la otra es falsa.Demostrar o refutar, segun sea el caso:

1 A(B ∩C) ⊆ AB ∩AC.2 AB ∩AC ⊆ A(B ∩C).

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 146: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Ejercicios

1 Para cada una de las siguientes afirmaciones, decida si esverdadera o no. Justifique su respuesta.Para todo lenguaje L se tiene que:

1 L∗ = L∗

.2 LR = L

R

.3 LLR ∪LRL = Σ∗.4 LL ∪ LL = Σ∗.5 Si L∗

1= L∗

2, entonces L1 = L2 para todo lenguaje L1 y L2.

6 AB = A B.

2 Dar un ejemplo de un alfabeto Σ y tres lenguajes diferentesA,B,C sobre Σ tales que A(B ∩C) ≠ AB ∩AC. Una de lados concatenaciones siguientes es verdadera y la otra es falsa.Demostrar o refutar, segun sea el caso:

1 A(B ∩C) ⊆ AB ∩AC.2 AB ∩AC ⊆ A(B ∩C).

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 147: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasConcatenacion de Lenguajes Estrella de Kleene de un Lenguaje

Ejercicios

1 Para cada una de las siguientes afirmaciones, decida si esverdadera o no. Justifique su respuesta.Para todo lenguaje L se tiene que:

1 L∗ = L∗

.2 LR = L

R

.3 LLR ∪LRL = Σ∗.4 LL ∪ LL = Σ∗.5 Si L∗

1= L∗

2, entonces L1 = L2 para todo lenguaje L1 y L2.

6 AB = A B.

2 Dar un ejemplo de un alfabeto Σ y tres lenguajes diferentesA,B,C sobre Σ tales que A(B ∩C) ≠ AB ∩AC. Una de lados concatenaciones siguientes es verdadera y la otra es falsa.Demostrar o refutar, segun sea el caso:

1 A(B ∩C) ⊆ AB ∩AC.2 AB ∩AC ⊆ A(B ∩C).

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 148: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasExpresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios

Lenguajes Regulares

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 149: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasExpresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios

Lenguajes Regulares

Existe una clase especial de lenguajes conocidos como lenguajesregulares. Los lenguajes regulares sobre un alfabeto dado Σ sontodos los lenguajes que se pueden formar a partir de los lenguajesbasicos ∅,{λ} ,{a} , a ∈ Σ, por medio de las operaciones de union,concatenacion y estrella de Kleene.

Definicion

Sea Σ un alfabeto:

1 ∅,{λ} ,{a}, para todo a ∈ Σ, son lenguajes regulares sobre Σ.Estos se denominan lenguajes regulares basicos.

2 Si A y B son lenguajes regulares sobre Σ, tambien lo son

A ∪B UnionAB ConcatenacionA∗ estrella de Kleene

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 150: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasExpresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios

Lenguajes Regulares

Existe una clase especial de lenguajes conocidos como lenguajesregulares. Los lenguajes regulares sobre un alfabeto dado Σ sontodos los lenguajes que se pueden formar a partir de los lenguajesbasicos ∅,{λ} ,{a} , a ∈ Σ, por medio de las operaciones de union,concatenacion y estrella de Kleene.

Definicion

Sea Σ un alfabeto:

1 ∅,{λ} ,{a}, para todo a ∈ Σ, son lenguajes regulares sobre Σ.Estos se denominan lenguajes regulares basicos.

2 Si A y B son lenguajes regulares sobre Σ, tambien lo son

A ∪B UnionAB ConcatenacionA∗ estrella de Kleene

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 151: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasExpresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios

Lenguajes Regulares

Existe una clase especial de lenguajes conocidos como lenguajesregulares. Los lenguajes regulares sobre un alfabeto dado Σ sontodos los lenguajes que se pueden formar a partir de los lenguajesbasicos ∅,{λ} ,{a} , a ∈ Σ, por medio de las operaciones de union,concatenacion y estrella de Kleene.

Definicion

Sea Σ un alfabeto:

1 ∅,{λ} ,{a}, para todo a ∈ Σ, son lenguajes regulares sobre Σ.Estos se denominan lenguajes regulares basicos.

2 Si A y B son lenguajes regulares sobre Σ, tambien lo son

A ∪B UnionAB ConcatenacionA∗ estrella de Kleene

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 152: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasExpresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios

Lenguajes Regulares

Ejemplo

Sea Σ = {0,1}. Los siguientes son lenguajes regulares sobre Σ:(i) El lenguaje A de todas las cadenas que tienen exactamente un0: Una cadena en este lenguaje se puede escribir de la forma x0y,donde x, y ∈ {1}∗. Ası el lenguaje se puede escribir como:A = {1}∗ {0} {1}∗(ii) El lenguaje B de todas las cadenas que tienen un numeroimpar de sımbolos:

B = [({0} ∪ {1}) ({0} ∪ {1})]∗ ({0} ∪ {1})

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 153: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasExpresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios

Lenguajes Regulares

Ejemplo

Sea Σ = {0,1}. Los siguientes son lenguajes regulares sobre Σ:(i) El lenguaje A de todas las cadenas que tienen exactamente un0: Una cadena en este lenguaje se puede escribir de la forma x0y,donde x, y ∈ {1}∗. Ası el lenguaje se puede escribir como:A = {1}∗ {0} {1}∗(ii) El lenguaje B de todas las cadenas que tienen un numeroimpar de sımbolos:

B = [({0} ∪ {1}) ({0} ∪ {1})]∗ ({0} ∪ {1})

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 154: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasExpresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios

Expresiones Regulares

1 Expresiones regulares basicas:∅ es una expresion regular que representa al lenguaje ∅.λ es una expresion regular que representa al lenguaje {λ}.a es una expresion regular que representa al lenguaje {a} ,para todo a ∈ Σ.

2 Si R y S son expresiones regulares sobre Σ, tambien lo son

(R ∪ S)(R) (S)(R)∗

(R ∪ S) representa la union de los lenguajes representados porR,S; (R) (S) representa su concatenacion, y (R)∗ representala clausura de Kleene del lenguaje representado por R. Losparentesis ( y ) son sımbolos de agrupacion y se puedenomitir si no hay peligro de ambiguedad.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 155: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasExpresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios

Expresiones Regulares

1 Expresiones regulares basicas:∅ es una expresion regular que representa al lenguaje ∅.λ es una expresion regular que representa al lenguaje {λ}.a es una expresion regular que representa al lenguaje {a} ,para todo a ∈ Σ.

2 Si R y S son expresiones regulares sobre Σ, tambien lo son

(R ∪ S)(R) (S)(R)∗

(R ∪ S) representa la union de los lenguajes representados porR,S; (R) (S) representa su concatenacion, y (R)∗ representala clausura de Kleene del lenguaje representado por R. Losparentesis ( y ) son sımbolos de agrupacion y se puedenomitir si no hay peligro de ambiguedad.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 156: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasExpresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios

Expresiones Regulares

Ejemplo

Los dos lenguajes del ejemplo 4.2 se pueden representar conexpresiones regulares de la siguiente manera:(i) El lenguaje A de todas las cadenas que tienen exactamente un0: A = 1∗01∗.(ii) El lenguaje B de todas las cadenas que tienen un numeroimpar de sımbolos:

B = [(0 ∪ 1) (0 ∪ 1)]∗ (0 ∪ 1)

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 157: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasExpresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios

Expresiones Regulares

Ejemplo

Los dos lenguajes del ejemplo 4.2 se pueden representar conexpresiones regulares de la siguiente manera:(i) El lenguaje A de todas las cadenas que tienen exactamente un0: A = 1∗01∗.(ii) El lenguaje B de todas las cadenas que tienen un numeroimpar de sımbolos:

B = [(0 ∪ 1) (0 ∪ 1)]∗ (0 ∪ 1)

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 158: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasExpresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios

Ejemplos de Lenguajes Regulares

Ejemplo

Encontrar una expresion regular para el lenguaje de todas lascadenas que comienzan con 2 y terminan con 1, definidas sobre elalfabeto Σ = {0,1,2}.Solucion: Cualquier cadena en este lenguaje se puede escribir dela forma 2x1, donde x ∈ {0,1,2}∗.Este puede ser representado como: 2(0 ∪ 1 ∪ 2)∗1

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 159: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasExpresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios

Ejemplos de Lenguajes Regulares

Ejemplo

Encontrar una expresion regular para el lenguaje de todas lascadenas que comienzan con 2 y terminan con 1, definidas sobre elalfabeto Σ = {0,1,2}.Solucion: Cualquier cadena en este lenguaje se puede escribir dela forma 2x1, donde x ∈ {0,1,2}∗.Este puede ser representado como: 2(0 ∪ 1 ∪ 2)∗1

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 160: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasExpresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios

Ejemplos de Lenguajes Regulares

Ejemplo

Encontrar una expresion regular para el lenguaje de todas lascadenas que tienen un numero par de aes, definidas sobre elalfabeto Σ = {a, b}.Solucion: Cualquier cadena en este lenguaje esta formada porsolo bes o es concatenacion de cadenas de la forma xayaz, dondex, y, z ∈ {b}∗.Este puede ser representado como:

(b∗ab∗ab∗)∗ ∪ b∗ = (ab∗a ∪ b∗)∗

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 161: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasExpresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios

Ejemplos de Lenguajes Regulares

Ejemplo

Encontrar una expresion regular para el lenguaje de todas lascadenas que tienen un numero par de aes, definidas sobre elalfabeto Σ = {a, b}.Solucion: Cualquier cadena en este lenguaje esta formada porsolo bes o es concatenacion de cadenas de la forma xayaz, dondex, y, z ∈ {b}∗.Este puede ser representado como:

(b∗ab∗ab∗)∗ ∪ b∗ = (ab∗a ∪ b∗)∗

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 162: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasExpresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios

Ejemplos de Lenguajes Regulares

Ejemplo

Encontrar una expresion regular para el lenguaje de todas lascadenas que comienzan con a o terminan con b, definidas sobre elalfabeto Σ = {a, b}.Solucion: a(a ∪ b)∗ ∪ (a ∪ b)∗b

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 163: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasExpresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios

Ejemplos de Lenguajes Regulares

Ejemplo

Encontrar una expresion regular para el lenguaje de todas lascadenas que comienzan con a o terminan con b, definidas sobre elalfabeto Σ = {a, b}.Solucion: a(a ∪ b)∗ ∪ (a ∪ b)∗b

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 164: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasExpresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios

Ejemplos de Lenguajes Regulares

Ejemplo

Encontrar una expresion regular para el lenguaje de todas lascadenas que tiene un numero par de aes o un numero impar debes, definidas sobre el alfabeto Σ = {a, b}.Solucion: A partir de los ejemplos 4.5 y 4.6, se concluye que estelenguaje puede ser representado como:

(ab∗a ∪ b∗)∗ ∪ (ba∗b ∪ a∗)∗ba∗

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 165: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasExpresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios

Ejemplos de Lenguajes Regulares

Ejemplo

Encontrar una expresion regular para el lenguaje de todas lascadenas que tiene un numero par de aes o un numero impar debes, definidas sobre el alfabeto Σ = {a, b}.Solucion: A partir de los ejemplos 4.5 y 4.6, se concluye que estelenguaje puede ser representado como:

(ab∗a ∪ b∗)∗ ∪ (ba∗b ∪ a∗)∗ba∗

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 166: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasExpresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios

Ejemplos de Lenguajes Regulares

Ejemplo

Encontrar una expresion regular para el lenguaje de todas lascadenas que tienen por lo menos un 0 y por lo menos un 1,definidas sobre el alfabeto Σ = {0,1}.Solucion: Cualquier cadena en este lenguaje contiene lassubcadenas 01 o 10 y recıprocamente si una cadena contiene unasubcadena 01 o 10 entonces pertenece al lenguaje.Este puede ser representado como:

(0 ∪ 1)∗01∗(0 ∪ 1)∗ ∪ (0 ∪ 1)∗10∗(0 ∪ 1)∗ = (0 ∪ 1)∗(01 ∪ 10)∗(0 ∪ 1)∗

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 167: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasExpresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios

Ejemplos de Lenguajes Regulares

Ejemplo

Encontrar una expresion regular para el lenguaje de todas lascadenas que tienen por lo menos un 0 y por lo menos un 1,definidas sobre el alfabeto Σ = {0,1}.Solucion: Cualquier cadena en este lenguaje contiene lassubcadenas 01 o 10 y recıprocamente si una cadena contiene unasubcadena 01 o 10 entonces pertenece al lenguaje.Este puede ser representado como:

(0 ∪ 1)∗01∗(0 ∪ 1)∗ ∪ (0 ∪ 1)∗10∗(0 ∪ 1)∗ = (0 ∪ 1)∗(01 ∪ 10)∗(0 ∪ 1)∗

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 168: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasExpresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios

Ejemplos de Lenguajes Regulares

Ejemplo

Encontrar una expresion regular para el lenguaje de todas lascadenas que tienen a lo sumo dos ceros consecutivos, definidassobre el alfabeto Σ = {0,1}.Solucion: Cualquier cadena en este lenguaje es concatenacion delas cadenas: 1, 01, 001; esto con el fin de que 0 o 00 siempre estenseparadas por al menos un 1. Hay que tener en cuenta que lascadenas pueden finalizar con 1s, con un 0 o con dos 0.

Este puede ser representado como: (1 ∪ 01 ∪ 001)∗(λ ∪ 0 ∪ 00)

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 169: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasExpresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios

Ejemplos de Lenguajes Regulares

Ejemplo

Encontrar una expresion regular para el lenguaje de todas lascadenas que tienen a lo sumo dos ceros consecutivos, definidassobre el alfabeto Σ = {0,1}.Solucion: Cualquier cadena en este lenguaje es concatenacion delas cadenas: 1, 01, 001; esto con el fin de que 0 o 00 siempre estenseparadas por al menos un 1. Hay que tener en cuenta que lascadenas pueden finalizar con 1s, con un 0 o con dos 0.

Este puede ser representado como: (1 ∪ 01 ∪ 001)∗(λ ∪ 0 ∪ 00)

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 170: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasExpresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios

Ejemplos de Lenguajes Regulares

Ejemplo

Encontrar una expresion regular para el lenguaje de todas lascadenas que no tienen la subcadena 00, definidas sobre el alfabetoΣ = {0,1}.Solucion: Cualquier cadena en este lenguaje es concatenacion delas cadenas: 1, 01.Este puede ser representado como: (01 ∪ 1)∗(λ ∪ 0)

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 171: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasExpresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios

Ejemplos de Lenguajes Regulares

Ejemplo

Encontrar una expresion regular para el lenguaje de todas lascadenas que no tienen la subcadena 00, definidas sobre el alfabetoΣ = {0,1}.Solucion: Cualquier cadena en este lenguaje es concatenacion delas cadenas: 1, 01.Este puede ser representado como: (01 ∪ 1)∗(λ ∪ 0)

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 172: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasExpresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios

Ejercicios

Encontrar expresiones regulares para los lenguajes descritos acontinuacion:

Σ = {a, b, c}. Lenguaje de todas las cadenas que tienen unnumero par de sımbolos.

Σ = {0,1}. Lenguaje de todas las cadenas cuyo quintosımbolo, de izquierda a derecha, es un 1.

Σ = {0,1}. Lenguaje de todas las cadenas cuya longitud es ≤4.Σ = {0,1,2}. Lenguaje de todas las cadenas que no contienendos unos consecutivos.

Σ = {a, b}. Lenguaje de todas las cadenas cuya longitud es unmultiplo de tres.

Σ = {0,1}. Lenguaje de todas las cadenas de longitud imparque tienen unos unicamente en las posiciones impares.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 173: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasExpresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios

Ejercicios

Encontrar expresiones regulares para los lenguajes descritos acontinuacion:

Σ = {a, b, c}. Lenguaje de todas las cadenas que tienen unnumero par de sımbolos.

Σ = {0,1}. Lenguaje de todas las cadenas cuyo quintosımbolo, de izquierda a derecha, es un 1.

Σ = {0,1}. Lenguaje de todas las cadenas cuya longitud es ≤4.Σ = {0,1,2}. Lenguaje de todas las cadenas que no contienendos unos consecutivos.

Σ = {a, b}. Lenguaje de todas las cadenas cuya longitud es unmultiplo de tres.

Σ = {0,1}. Lenguaje de todas las cadenas de longitud imparque tienen unos unicamente en las posiciones impares.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 174: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasExpresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios

Ejercicios

Encontrar expresiones regulares para los lenguajes descritos acontinuacion:

Σ = {a, b, c}. Lenguaje de todas las cadenas que tienen unnumero par de sımbolos.

Σ = {0,1}. Lenguaje de todas las cadenas cuyo quintosımbolo, de izquierda a derecha, es un 1.

Σ = {0,1}. Lenguaje de todas las cadenas cuya longitud es ≤4.Σ = {0,1,2}. Lenguaje de todas las cadenas que no contienendos unos consecutivos.

Σ = {a, b}. Lenguaje de todas las cadenas cuya longitud es unmultiplo de tres.

Σ = {0,1}. Lenguaje de todas las cadenas de longitud imparque tienen unos unicamente en las posiciones impares.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 175: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasExpresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios

Ejercicios

Encontrar expresiones regulares para los lenguajes descritos acontinuacion:

Σ = {a, b, c}. Lenguaje de todas las cadenas que tienen unnumero par de sımbolos.

Σ = {0,1}. Lenguaje de todas las cadenas cuyo quintosımbolo, de izquierda a derecha, es un 1.

Σ = {0,1}. Lenguaje de todas las cadenas cuya longitud es ≤4.Σ = {0,1,2}. Lenguaje de todas las cadenas que no contienendos unos consecutivos.

Σ = {a, b}. Lenguaje de todas las cadenas cuya longitud es unmultiplo de tres.

Σ = {0,1}. Lenguaje de todas las cadenas de longitud imparque tienen unos unicamente en las posiciones impares.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 176: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasExpresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios

Ejercicios

Encontrar expresiones regulares para los lenguajes descritos acontinuacion:

Σ = {a, b, c}. Lenguaje de todas las cadenas que tienen unnumero par de sımbolos.

Σ = {0,1}. Lenguaje de todas las cadenas cuyo quintosımbolo, de izquierda a derecha, es un 1.

Σ = {0,1}. Lenguaje de todas las cadenas cuya longitud es ≤4.Σ = {0,1,2}. Lenguaje de todas las cadenas que no contienendos unos consecutivos.

Σ = {a, b}. Lenguaje de todas las cadenas cuya longitud es unmultiplo de tres.

Σ = {0,1}. Lenguaje de todas las cadenas de longitud imparque tienen unos unicamente en las posiciones impares.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 177: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasExpresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios

Ejercicios

Encontrar expresiones regulares para los lenguajes descritos acontinuacion:

Σ = {a, b, c}. Lenguaje de todas las cadenas que tienen unnumero par de sımbolos.

Σ = {0,1}. Lenguaje de todas las cadenas cuyo quintosımbolo, de izquierda a derecha, es un 1.

Σ = {0,1}. Lenguaje de todas las cadenas cuya longitud es ≤4.Σ = {0,1,2}. Lenguaje de todas las cadenas que no contienendos unos consecutivos.

Σ = {a, b}. Lenguaje de todas las cadenas cuya longitud es unmultiplo de tres.

Σ = {0,1}. Lenguaje de todas las cadenas de longitud imparque tienen unos unicamente en las posiciones impares.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 178: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasDiagrama de Transicion de un Automata Lenguaje aceptado p

Automatas FinitosDeterministas (AFD)

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 179: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasDiagrama de Transicion de un Automata Lenguaje aceptado p

Automatas Finitos Deterministas (AFD)

Ver Documento.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 180: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasDiagrama de Transicion de un Automata Lenguaje aceptado p

Automatas Finitos Deterministas (AFD)

Definicion

Un automata finito determinista (AFD)M es una quintuplaM= (Σ,Q, q0, F, δ), donde:Σ es un alfabeto llamado alfabeto de cinta. Todas las cadenasque procesaM pertenecen a Σ

∗.

Q = {q0, q1, . . . , qn} es un conjunto de estados internos delautomata.

q0 ∈ Q es el estado inicial.

F ⊆ Q es un conjunto de estados finales o de aceptacion.F ≠ ∅.La funcion de transicion del automata

δ ∶ Q ×ΣÐ→ Q

(q, a) z→ δ (q, a)Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 181: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasDiagrama de Transicion de un Automata Lenguaje aceptado p

Automatas Finitos Deterministas (AFD)

Ejemplo

Sea el automataM= (Σ,Q, q0, F, δ), donde Σ = {0,1},Q = {q0, q1, q2}, F = {q2} y δ esta definida tabularmente por:

δ 0 1

q0 q0 q1q1 q1 q2q2 q2 q2

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 182: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasDiagrama de Transicion de un Automata Lenguaje aceptado p

Diagrama de Transicion de un Automata

Si q ∈ Q este se representa por:q

Si q ∈ F este se representa por:q

El estado inicial q0 se representa como:q

Ademas, si δ(q, a) = q′ entonces el diagrama de transicion tieneuna arista que va del vertice q al vertice q′ y esta etiquetada con elsımbolo a. Este se representa como:

q q′a

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 183: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasDiagrama de Transicion de un Automata Lenguaje aceptado p

Diagrama de Transicion de un Automata

Ejemplo

El diagrama de transicion del automataM del ejemplo 5.2 es:

q0 q1

q2

0

1

1

0

0,1

Figura: Diagrama de Transicion del AutomataM.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 184: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasDiagrama de Transicion de un Automata Lenguaje aceptado p

Diagrama de Transicion de un Automata

Ejemplo

q0 q1

q3

q2

b b

b

a

a

a

a, b

Figura: Ejemplo 5.4.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 185: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasDiagrama de Transicion de un Automata Lenguaje aceptado p

Diagrama de Transicion de un Automata

Solucion: El automataM rechaza todas las cadenas que iniciancon a. Una cadena w ∈ L(M) si w = bb∗ o si w = bau entonces udebe tener al menos una a o un numero par de a y tantas b’s comoquiera. Se concluye que el lenguaje aceptado porM es:

L(M) = {w ∈ Σ∗ ∶ w = bu, tal que ∣u∣a ≡ 0 mod 2}

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 186: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasDiagrama de Transicion de un Automata Lenguaje aceptado p

Lenguaje aceptado por un AFD

Definicion

SeaM= (Σ,Q, q0, F, δ) un AFD, la funcion de transicionδ ∶ Q ×Σ Ð→ Q se extiende a una funcion δ ∶ Q ×Σ∗ Ð→ Q pormedio de la siguiente definicion recursiva

⎧⎪⎪⎪⎪⎨⎪⎪⎪⎪⎩

δ(q,λ) = q,δ(q, a) = δ(q, a),δ(q,wa) = δ(δ(q,w), a),

para todo q ∈ Q,a ∈ Σ y w ∈ Σ∗.Definicion

SeaM= (Σ,Q, q0, F, δ) un AFD, entonces el lenguaje aceptadoporM esta definido como L(M) = {w ∈ Σ∗ ∶ δ(q,w) ∈ F}.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 187: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasDiagrama de Transicion de un Automata Lenguaje aceptado p

Lenguaje aceptado por un AFD

Ejemplo

Considere el AFD del ejemplo 5.4, verifiquemos si la cadenaw = 1011 es aceptada o rechazada por el AFD.

δ(q0,1011) = δ(δ(q0,101),1)= δ(δ(δ(q0,10),1),1)= δ(δ(δ(δ(q0,1),0),1),1)= δ(δ(δ(δ(δ(q0, λ),1),0),1), 1)= δ(δ(δ(δ(q0 ,1),0),1),1)= δ(δ(δ(q1 ,0),1),1)= δ(δ(q1,1),1)= δ(q2,1)= q2 ∈ F

Luego w = 1011 es aceptada por el AFD.Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 188: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasDiagrama de Transicion de un Automata Lenguaje aceptado p

Lenguaje aceptado por un AFD

Ejemplo

q0 q1

q3

q2

1 0

0

1

0

1

0,1

Figura: Ejemplo 5.8.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 189: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasDiagrama de Transicion de un Automata Lenguaje aceptado p

Lenguaje aceptado por un AFD

Solucion: El automataM acepta todas las cadenas que inician yfinalizan con 0 . En efecto si w ∈ L(M) debe iniciar y terminar en0, ya que es la unica forma de llegar al estado q2, el cual es elunico estado de aceptacion, luego w = 0u0, para algun u ∈ Σ∗.Recıprocamente, si w = 0u0, entonces :

δ(q0,0u0) = δ(δ(δ(δ(q0, λ)0), u),0)= δ(δ(δ(q0,0), u),0)= δ(δ(q1, u),0)= q2 ∈ F

Ası w = 0u0 ∈ L(M). Se concluye que el lenguaje aceptado porMes:

L(M) = {w ∈ Σ∗ ∶ w = 0u0, u ∈ Σ∗}Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 190: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasDiagrama de Transicion de un Automata Lenguaje aceptado p

Ejemplos de AFD

Ejemplo

Disene un AFD que acepte el lenguaje que contiene la subcadenaaa, sobre el alfabeto Σ = {a, b, c}.Solucion: Un automataM que acepte ese lenguaje debe cumplirque cuando lea dos as consecutivas llegue a un estado deaceptacion y de ahı no vuelva a salir. Se verifica que el automatade la figura 4 acepta el lenguaje. Es decir

L(M) = {w ∈ Σ∗ ∶ w = uaav, u, v ∈ Σ∗}

q0 q1 q2

b, c a, b, c

a

b, c

a

Figura: Ejemplo 5.9.Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 191: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasDiagrama de Transicion de un Automata Lenguaje aceptado p

Ejemplos de AFD

Ejemplo

Disene un AFD que acepte el lenguaje que contiene la subcadenaaa, sobre el alfabeto Σ = {a, b, c}.Solucion: Un automataM que acepte ese lenguaje debe cumplirque cuando lea dos as consecutivas llegue a un estado deaceptacion y de ahı no vuelva a salir. Se verifica que el automatade la figura 4 acepta el lenguaje. Es decir

L(M) = {w ∈ Σ∗ ∶ w = uaav, u, v ∈ Σ∗}

q0 q1 q2

b, c a, b, c

a

b, c

a

Figura: Ejemplo 5.9.Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 192: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasDiagrama de Transicion de un Automata Lenguaje aceptado p

Ejemplos de AFD

Ejemplo

Disene un AFD que acepte el lenguaje L2, donde L es el lenguajedel ejemplo 5.8.

q0 q1 q2 q3 q4

q5

1 1 0

0,1

0

1

0

1

0

0

1

Figura: Ejemplo 5.10.Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 193: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasDiagrama de Transicion de un Automata Lenguaje aceptado p

Ejemplos de AFD

Ejemplo

Disene un AFD que acepte el lenguaje L2, donde L es el lenguajedel ejemplo 5.8.

q0 q1 q2 q3 q4

q5

1 1 0

0,1

0

1

0

1

0

0

1

Figura: Ejemplo 5.10.Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 194: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasDiagrama de Transicion de un Automata Lenguaje aceptado p

Ejemplos de AFD

Ejemplo

Un AFD puede contar modulo un numero fijo. Por ejemplo elautomata de la figura 6 acepta todas las cadenas en 1

∗ cuyalongitud es multiplo de 4. Es decirL(M) = {w ∈ 1∗ ∶ ∣w∣ ≡ 0 mod 4}.

q0

q1

q2

q3

1 1

11

Figura: Ejemplo 5.11.Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 195: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasDiagrama de Transicion de un Automata Lenguaje aceptado p

Ejemplos de AFD

Para simplificar el diseno de los automatas en los diagramas detransicion solo apareceran los arcos que intervengan en trayectoriasde aceptacion, es decir si no aparece un arco es porque esteconduce a un estado ’inutil´. Por ejemplo la version simplificadadel automata de la figura 2 aparece en la figura 7:

q0 q1 q2

b b

b

a

a

Figura: Ejemplo 5.4.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 196: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasDiagrama de Transicion de un Automata Lenguaje aceptado p

Ejemplos de AFD

Ejemplo

Describa el lenguaje aceptado por el automataM sobre el alfabetoΣ = {0,1} que se muestra en el diagrama 8:

q0 q1 q2 q3

0 0 0 0

1 1 1

1Figura: Ejemplo 5.12.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 197: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasDiagrama de Transicion de un Automata Lenguaje aceptado p

Ejemplos de AFD

Solucion: Una cadena w es aceptada porM si w = 0∗ o si existeun computo cıclico de q0 a q0, pasando por los estados q1, q2 y q3un numero finito de veces. Ademas, el AFDM cambia de unestado qi (0 ≤ i ≤ 2) a un estado qi+1 o de q3 a q0 si y solo si lee elsımbolo 1. Asimismo, entre cada 1 que lea puede procesar tantosos como se quiera. Por lo tanto, w ∈ L(M) si y solo si ∣w∣

1es

multiplo de 4. Ası:

L(M) = {w ∈ Σ∗ ∶ ∣w∣1≡ 0 mod 4} = 0∗(10∗10∗10∗10∗)∗

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 198: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasDiagrama de Transicion de un Automata Lenguaje aceptado p

Ejemplos de AFD

Ejemplo

Describa el lenguaje aceptado por el automataM sobre el alfabetoΣ = {a, b} que se muestra en el diagrama 9:

q0

q1

q2

q3

a

a

b

b

b

ab

a

Figura: Ejemplo 5.13.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 199: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasDiagrama de Transicion de un Automata Lenguaje aceptado p

Ejemplos de AFD

Solucion: Una cadena w es aceptada porM si y solo si tieneuna cantidad par de as y una cantidad par de bs. Ası:

L(M) = {w ∈ Σ∗ ∶ ∣w∣a ≡ 0 mod 2, ∣w∣b ≡ 0 mod 2}

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 200: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasDiagrama de Transicion de un Automata Lenguaje aceptado p

Ejemplos de AFD

Ejemplo

Disene un AFD que acepte el lenguaje de todas las cadenas quetienen como prefijo la cadena 010, sobre el alfabeto Σ = {0,1}.Solucion: Un automataM que acepte ese lenguaje debe cumplirque cuando lea una cadena que inicie con 010 la acepte, de locontrario sea rechazada. Se verifica que el automata de la figura 10acepta el lenguaje.

q0 q1 q2 q3

0,1

0 1 0

Figura: Ejemplo 5.14.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 201: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasDiagrama de Transicion de un Automata Lenguaje aceptado p

Ejemplos de AFD

Ejemplo

Disene un AFD que acepte el lenguaje de todas las cadenas quetienen como prefijo la cadena 010, sobre el alfabeto Σ = {0,1}.Solucion: Un automataM que acepte ese lenguaje debe cumplirque cuando lea una cadena que inicie con 010 la acepte, de locontrario sea rechazada. Se verifica que el automata de la figura 10acepta el lenguaje.

q0 q1 q2 q3

0,1

0 1 0

Figura: Ejemplo 5.14.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 202: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasDiagrama de Transicion de un Automata Lenguaje aceptado p

Ejemplos de AFD

Ejemplo

Disene un AFD que acepte el lenguaje de todas las cadenas quetienen como sufijo la cadena 101, sobre el alfabeto Σ = {0,1}.Solucion: Un automataM que acepte ese lenguaje debe cumplirque cuando lea la subcadena 101 llegue a un estado de aceptacion;si no hay mas sımbolos debe ser aceptada, si aparece el sımbolo 0debe devolverse un estado, ya que en ese momento se hacomputado una cadena de la forma u1010 con u ∈ Σ∗; si encambio el sımbolo siguiente es 1 debe devolverse dos estados, yaque en ese momento se ha computado una cadena de la formau1011. Con estas condiciones se verifica que el automata de lafigura 11 acepta el lenguaje.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 203: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasDiagrama de Transicion de un Automata Lenguaje aceptado p

Ejemplos de AFD

Ejemplo

Disene un AFD que acepte el lenguaje de todas las cadenas quetienen como sufijo la cadena 101, sobre el alfabeto Σ = {0,1}.Solucion: Un automataM que acepte ese lenguaje debe cumplirque cuando lea la subcadena 101 llegue a un estado de aceptacion;si no hay mas sımbolos debe ser aceptada, si aparece el sımbolo 0debe devolverse un estado, ya que en ese momento se hacomputado una cadena de la forma u1010 con u ∈ Σ∗; si encambio el sımbolo siguiente es 1 debe devolverse dos estados, yaque en ese momento se ha computado una cadena de la formau1011. Con estas condiciones se verifica que el automata de lafigura 11 acepta el lenguaje.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 204: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios GramaticasDiagrama de Transicion de un Automata Lenguaje aceptado p

Ejemplos de AFD

q0 q1 q2 q3

0 1

1 0 1

0 0

1

Figura: Ejemplo 5.15.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 205: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Ejercicios

Considere el AFDM de la figura 12.

1 Determine si las cadenas 001,010101,0011101011101 sonaceptadas o no por el automata.

2 Del conjunto de cadenas (01)∗, cuales pertenecen a L(M).

q0 q1 q2 q3

q4 q5

0

1

0

11

1

1

0

0

1

0

01

Figura: AFD Ejercicio 1.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 206: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Ejercicios

Disenar AFD que acepten los siguientes lenguajes:

1 Σ = {a, b}. Lenguaje de las cadenas sobre Σ que contienenexactamente una a .

2 Σ = {a, b}. Lenguaje de las cadenas sobre Σ que contienenexactamente dos as y mas de dos bs.

3 Σ = {0,1}. Lenguaje de las cadenas sobre Σ de longitud impar.

4 Σ = {0,1}. Lenguaje de las cadenas sobre Σ que inician con10 y terminan con 01.

5 Σ = {0,1}. Lenguaje de las cadenas sobre Σ tal que todasubcadena 010 es seguida inmediatamente por la subcadena111.

6 Σ = {a, b}. Que acepte el lenguaje L = ab∗ ∪ ab∗a.7 Σ = {a, b}. Que acepte el lenguaje L = {ab3wb2 ∶ w ∈ Σ∗}.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 207: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Ejercicios

Disenar AFD que acepten los siguientes lenguajes:

1 Σ = {a, b}. Lenguaje de las cadenas sobre Σ que contienenexactamente una a .

2 Σ = {a, b}. Lenguaje de las cadenas sobre Σ que contienenexactamente dos as y mas de dos bs.

3 Σ = {0,1}. Lenguaje de las cadenas sobre Σ de longitud impar.

4 Σ = {0,1}. Lenguaje de las cadenas sobre Σ que inician con10 y terminan con 01.

5 Σ = {0,1}. Lenguaje de las cadenas sobre Σ tal que todasubcadena 010 es seguida inmediatamente por la subcadena111.

6 Σ = {a, b}. Que acepte el lenguaje L = ab∗ ∪ ab∗a.7 Σ = {a, b}. Que acepte el lenguaje L = {ab3wb2 ∶ w ∈ Σ∗}.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 208: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Ejercicios

Disenar AFD que acepten los siguientes lenguajes:

1 Σ = {a, b}. Lenguaje de las cadenas sobre Σ que contienenexactamente una a .

2 Σ = {a, b}. Lenguaje de las cadenas sobre Σ que contienenexactamente dos as y mas de dos bs.

3 Σ = {0,1}. Lenguaje de las cadenas sobre Σ de longitud impar.

4 Σ = {0,1}. Lenguaje de las cadenas sobre Σ que inician con10 y terminan con 01.

5 Σ = {0,1}. Lenguaje de las cadenas sobre Σ tal que todasubcadena 010 es seguida inmediatamente por la subcadena111.

6 Σ = {a, b}. Que acepte el lenguaje L = ab∗ ∪ ab∗a.7 Σ = {a, b}. Que acepte el lenguaje L = {ab3wb2 ∶ w ∈ Σ∗}.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 209: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Ejercicios

Disenar AFD que acepten los siguientes lenguajes:

1 Σ = {a, b}. Lenguaje de las cadenas sobre Σ que contienenexactamente una a .

2 Σ = {a, b}. Lenguaje de las cadenas sobre Σ que contienenexactamente dos as y mas de dos bs.

3 Σ = {0,1}. Lenguaje de las cadenas sobre Σ de longitud impar.

4 Σ = {0,1}. Lenguaje de las cadenas sobre Σ que inician con10 y terminan con 01.

5 Σ = {0,1}. Lenguaje de las cadenas sobre Σ tal que todasubcadena 010 es seguida inmediatamente por la subcadena111.

6 Σ = {a, b}. Que acepte el lenguaje L = ab∗ ∪ ab∗a.7 Σ = {a, b}. Que acepte el lenguaje L = {ab3wb2 ∶ w ∈ Σ∗}.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 210: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Ejercicios

Disenar AFD que acepten los siguientes lenguajes:

1 Σ = {a, b}. Lenguaje de las cadenas sobre Σ que contienenexactamente una a .

2 Σ = {a, b}. Lenguaje de las cadenas sobre Σ que contienenexactamente dos as y mas de dos bs.

3 Σ = {0,1}. Lenguaje de las cadenas sobre Σ de longitud impar.

4 Σ = {0,1}. Lenguaje de las cadenas sobre Σ que inician con10 y terminan con 01.

5 Σ = {0,1}. Lenguaje de las cadenas sobre Σ tal que todasubcadena 010 es seguida inmediatamente por la subcadena111.

6 Σ = {a, b}. Que acepte el lenguaje L = ab∗ ∪ ab∗a.7 Σ = {a, b}. Que acepte el lenguaje L = {ab3wb2 ∶ w ∈ Σ∗}.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 211: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Ejercicios

Disenar AFD que acepten los siguientes lenguajes:

1 Σ = {a, b}. Lenguaje de las cadenas sobre Σ que contienenexactamente una a .

2 Σ = {a, b}. Lenguaje de las cadenas sobre Σ que contienenexactamente dos as y mas de dos bs.

3 Σ = {0,1}. Lenguaje de las cadenas sobre Σ de longitud impar.

4 Σ = {0,1}. Lenguaje de las cadenas sobre Σ que inician con10 y terminan con 01.

5 Σ = {0,1}. Lenguaje de las cadenas sobre Σ tal que todasubcadena 010 es seguida inmediatamente por la subcadena111.

6 Σ = {a, b}. Que acepte el lenguaje L = ab∗ ∪ ab∗a.7 Σ = {a, b}. Que acepte el lenguaje L = {ab3wb2 ∶ w ∈ Σ∗}.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 212: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Ejercicios

Disenar AFD que acepten los siguientes lenguajes:

1 Σ = {a, b}. Lenguaje de las cadenas sobre Σ que contienenexactamente una a .

2 Σ = {a, b}. Lenguaje de las cadenas sobre Σ que contienenexactamente dos as y mas de dos bs.

3 Σ = {0,1}. Lenguaje de las cadenas sobre Σ de longitud impar.

4 Σ = {0,1}. Lenguaje de las cadenas sobre Σ que inician con10 y terminan con 01.

5 Σ = {0,1}. Lenguaje de las cadenas sobre Σ tal que todasubcadena 010 es seguida inmediatamente por la subcadena111.

6 Σ = {a, b}. Que acepte el lenguaje L = ab∗ ∪ ab∗a.7 Σ = {a, b}. Que acepte el lenguaje L = {ab3wb2 ∶ w ∈ Σ∗}.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 213: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Gramaticas Regulares

Definicion

Una gramatica independiente del contexto (GIC), es unacuadrupla, G = (V,Σ, S,P ), donde:

V es un alfabeto, cuyos elementos se llaman variables osımbolos no terminales.

Σ es un alfabeto, cuyos elementos se llaman sımbolosterminales. Σ y V son disyuntos.

S ∈ V es una variable especial, llamada sımbolo inicial de lagramatica.

Un conjunto finito P ⊆ V × (V ∪Σ)∗ de producciones o reglasde re-escritura. Una produccion (A,w) ∈ P de G se denotapor A→ w y se lee “A produce w”; su significado es: lavariable A se puede reemplazar (sobre-escribir) por la cadenaw. En la produccion A → w, A se denomina la cabeza y w elcuerpo de la produccion.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 214: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Gramaticas Regulares

El lenguaje generado por una gramatica G se denota por L (G) yse define como

L (G) ∶= {w ∈ Σ∗ ∶ S +

Ô⇒ w} .

Un lenguaje L sobre un alfabeto Σ se dice que es un lenguajeindependiente del contexto (LIC) si existe una GIC G tal queL (G) = L.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 215: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Gramaticas Regulares

Definicion

Una GIC G = (V,Σ, S,P ) se dice regular por la derecha si todaslas producciones son de la forma

A → vB,

A → v

donde A,B ∈ V y v ∈ Σ∗. Una GIC G = (V,Σ, S,P ) se diceregular por la izquierda si todas las producciones son de la forma

A → Bv,

A → v

donde A,B ∈ V y v ∈ Σ∗.Una gramatica es regular si es una gramatica regular por laderecha o regular por la izquierda, [3] .

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 216: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Gramaticas Regulares

Teorema

Un lenguaje es regular si y solo si es generado por una gramaticaregular.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 217: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Teorema de Kleene

LenguajesRegulares

AutomatasFinitos

GramaticasRegulares

ExpresionesRegulares

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas

Page 218: Introducción a la Teoría de la Computación: Lenguajes, Autómatas y Gramáticas.

Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas

Linz, Peter. An introduction to Formal Languages andAutomata. Jones and Bartlett Publishers, 4 Edicion. 2006.

Shallit, Jeffrey. A Second Course in Formal Languages andAutomata Theory . Cambridge University Press. 2008.

Du, Ding-Zhu, and Ko, Ker-I. Problem solving in automata,languages, and comnplexity .Jhon Wiley & Sons, 2001.

Rich, Elaine. Automata, Computability and Comnplexity,Theroy and Aplications. Pearson, Prentice Hall, 2008.

Koxen, Dexter. Automata and Computability. UndergraduateText in Computer Science, Springer. 1997.

Simovici, Dan and Tenney, Richard. Theory of FormalLanguages with Applications.World Scientific. 1999.

De Castro, Rodrigo Teorıa de la computacion, lenguajes,automatas, gramaticas. Universidad Nacional de Colombia,2004.

Jose Luis Ramırez Ramırez Introduccion a la Teorıa de la Computacion: Lenguajes, Automatas