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

Post on 08-Mar-2015

231 views 9 download

Transcript of 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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