Documente Academic
Documente Profesional
Documente Cultură
.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Longitud e Igualdad de una Cadena Concatenacion de una Cadena
Cadenas o Palabras
Secuencia nita de smbolos.
Se ja un conjunto nito no vaco cuyos elementos se
denominan smbolos.
El conjunto se denomina alfabeto, ademas las cadenas se
denotan por las letras u, v, w, x, ....
Se supone la existencia de una unica cadena que no tiene
smbolos, denominada cadena vaca y se denota con .
Ejemplo
Sea = a, b, c el alfabeto que consta de los smbolos a, b y c,
entonces a, aa, abccc son cadenas sobre .
El conjunto de todas las cadenas sobre un alfabeto , incluyendo
la cadena vaca, se denota por
.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Longitud e Igualdad de una Cadena Concatenacion de una Cadena
Cadenas o Palabras
Secuencia nita de smbolos.
Se ja un conjunto nito no vaco cuyos elementos se
denominan smbolos.
El conjunto se denomina alfabeto, ademas las cadenas se
denotan por las letras u, v, w, x, ....
Se supone la existencia de una unica cadena que no tiene
smbolos, denominada cadena vaca y se denota con .
Ejemplo
Sea = a, b, c el alfabeto que consta de los smbolos a, b y c,
entonces a, aa, abccc son cadenas sobre .
El conjunto de todas las cadenas sobre un alfabeto , incluyendo
la cadena vaca, se denota por
.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Longitud e Igualdad de una Cadena Concatenacion de una Cadena
Cadenas o Palabras
Secuencia nita de smbolos.
Se ja un conjunto nito no vaco cuyos elementos se
denominan smbolos.
El conjunto se denomina alfabeto, ademas las cadenas se
denotan por las letras u, v, w, x, ....
Se supone la existencia de una unica cadena que no tiene
smbolos, denominada cadena vaca y se denota con .
Ejemplo
Sea = a, b, c el alfabeto que consta de los smbolos a, b y c,
entonces a, aa, abccc son cadenas sobre .
El conjunto de todas las cadenas sobre un alfabeto , incluyendo
la cadena vaca, se denota por
.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Longitud e Igualdad de una Cadena Concatenacion de una Cadena
Cadenas o Palabras
Secuencia nita de smbolos.
Se ja un conjunto nito no vaco cuyos elementos se
denominan smbolos.
El conjunto se denomina alfabeto, ademas las cadenas se
denotan por las letras u, v, w, x, ....
Se supone la existencia de una unica cadena que no tiene
smbolos, denominada cadena vaca y se denota con .
Ejemplo
Sea = a, b, c el alfabeto que consta de los smbolos a, b y c,
entonces a, aa, abccc son cadenas sobre .
El conjunto de todas las cadenas sobre un alfabeto , incluyendo
la cadena vaca, se denota por
.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Longitud e Igualdad de una Cadena Concatenacion de una Cadena
Cadenas o Palabras
Secuencia nita de smbolos.
Se ja un conjunto nito no vaco cuyos elementos se
denominan smbolos.
El conjunto se denomina alfabeto, ademas las cadenas se
denotan por las letras u, v, w, x, ....
Se supone la existencia de una unica cadena que no tiene
smbolos, denominada cadena vaca y se denota con .
Ejemplo
Sea = a, b, c el alfabeto que consta de los smbolos a, b y c,
entonces a, aa, abccc son cadenas sobre .
El conjunto de todas las cadenas sobre un alfabeto , incluyendo
la cadena vaca, se denota por
.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Longitud e Igualdad de una Cadena Concatenacion de una Cadena
Cadenas o Palabras
Secuencia nita de smbolos.
Se ja un conjunto nito no vaco cuyos elementos se
denominan smbolos.
El conjunto se denomina alfabeto, ademas las cadenas se
denotan por las letras u, v, w, x, ....
Se supone la existencia de una unica cadena que no tiene
smbolos, denominada cadena vaca y se denota con .
Ejemplo
Sea = a, b, c el alfabeto que consta de los smbolos a, b y c,
entonces a, aa, abccc son cadenas sobre .
El conjunto de todas las cadenas sobre un alfabeto , incluyendo
la cadena vaca, se denota por
.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Longitud e Igualdad de una Cadena Concatenacion de una Cadena
Longitud e Igualdad de una Cadena
Denicion
La longitud de una cadena 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 smbolo a en
la cadena u.
Ejemplo
Sea = 0, 1 el alfabeto binario, entonces
|00| = 2, |101011| = 6, |001|
0
= 2, |001|
1
= 1.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Longitud e Igualdad de una Cadena Concatenacion de una Cadena
Longitud e Igualdad de una Cadena
Denicion
La longitud de una cadena 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 smbolo a en
la cadena u.
Ejemplo
Sea = 0, 1 el alfabeto binario, entonces
|00| = 2, |101011| = 6, |001|
0
= 2, |001|
1
= 1.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Longitud e Igualdad de una Cadena Concatenacion de una Cadena
Longitud e Igualdad de una Cadena
Denicion
La longitud de una cadena 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 smbolo a en
la cadena u.
Ejemplo
Sea = 0, 1 el alfabeto binario, entonces
|00| = 2, |101011| = 6, |001|
0
= 2, |001|
1
= 1.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Longitud e Igualdad de una Cadena Concatenacion de una Cadena
Longitud e Igualdad de una Cadena
Denicion
Sean x = x
1
x
2
x
n
y y = y
1
y
2
y
m
dos cadenas sobre un alfabeto
, entonces x y y son iguales si
1
|x| = |y|.
2
x
i
= y
i
para todo i = 1, 2, . . . n.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Longitud e Igualdad de una Cadena Concatenacion de una Cadena
Longitud e Igualdad de una Cadena
Denicion
Sean x = x
1
x
2
x
n
y y = y
1
y
2
y
m
dos cadenas sobre un alfabeto
, entonces x y y son iguales si
1
|x| = |y|.
2
x
i
= y
i
para todo i = 1, 2, . . . n.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Longitud e Igualdad de una Cadena Concatenacion de una Cadena
Concatenacion de una Cadena
Dado un alfabeto y dos cadenas u, v
, la concatenacion de
u y v, es la cadena que se forma al escribir los smbolos de u y a
continuacion los smbolos de v. Se denota por uv.
En particular, si u
, entonces uuu
-
n veces
se denotara como u
n
.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Longitud e Igualdad de una Cadena Concatenacion de una Cadena
Concatenacion de una Cadena
Dado un alfabeto y dos cadenas u, v
, la concatenacion de
u y v, es la cadena que se forma al escribir los smbolos de u y a
continuacion los smbolos de v. Se denota por uv.
En particular, si u
, entonces uuu
-
n veces
se denotara como u
n
.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Longitud e Igualdad de una Cadena Concatenacion de una Cadena
Ejemplo
Demostrar que para toda cadena u, v
y n 0, |u
n
| = n|u|.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Longitud e Igualdad de una Cadena Concatenacion de una Cadena
Ejemplo
Demostrar que para toda cadena u, v
y n 0, |u
n
| = n|u|.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Longitud e Igualdad de una Cadena Concatenacion de una Cadena
Ejemplo
Demostrar que para toda cadena u, v
y n 0, |u
n
| = n|u|.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Longitud e Igualdad de una Cadena Concatenacion de una Cadena
Inversa de una Cadena
La inversa de una cadena u
se denota u
R
y se dene como
u
R
=
Si u =
u
n
u
n1
u
1
Si u = u
1
u
2
u
n
.
con u
1
, u
2
, ..., u
n
.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Longitud e Igualdad de una Cadena Concatenacion de una Cadena
Subcadenas, Prejos y Sujos
Una cadena v es una subcadena de u si existen cadena x, y tales
que u = xvy.
Si u = vw entonces las subcadenas v y w se llaman prejo y sujo
de u, respectivamente.
Ejemplo
Si u = 100110 entonces , 1, 10, 100, 1001, 10011, 100110 es el
conjunto de todos los prejos de u y
, 0, 10, 110, 0110, 00110, 100110 es el conjunto de todos los
sujos de u.
Ejemplo
Para que cadenas u
.
Teorema (Lyndon-Sch utzenberger)
Sean x, y dos cadenas de L
.
Teorema (Lyndon-Sch utzenberger)
Sean x, y dos cadenas de L
.
Teorema (Lyndon-Sch utzenberger)
Sean x, y dos cadenas de L
.
Teorema (Lyndon-Sch utzenberger)
Sean x, y dos cadenas de L
, tal que
ax = xb. Entonces existen cadenas u, v
, tales que x = au y
x = 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 se
lleva a cabo en un n umero nito de pasos) se llega a que a = b, lo
cual es contradictorio.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Longitud 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. Entonces existen cadenas u, v
, tales que x = au y
x = 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 se
lleva a cabo en un n umero nito de pasos) se llega a que a = b, lo
cual es contradictorio.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Longitud e Igualdad de una Cadena Concatenacion de una Cadena
Topico de investigacion
Existen distintas formas de denir ordenes parciales sobre
cadenas.
Orden subcadena: Si x, y
y
v = wa
j
v
, para alg un w, u
, v
y i < j.
Orden subsecuencia, el cual se dene como u w si y solo si
u se puede obtener a partir de w eliminado 0 o mas smbolos
de w.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Longitud e Igualdad de una Cadena Concatenacion de una Cadena
Topico de investigacion
Existen distintas formas de denir ordenes parciales sobre
cadenas.
Orden subcadena: Si x, y
y
v = wa
j
v
, para alg un w, u
, v
y i < j.
Orden subsecuencia, el cual se dene como u w si y solo si
u se puede obtener a partir de w eliminado 0 o mas smbolos
de w.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Longitud e Igualdad de una Cadena Concatenacion de una Cadena
Topico de investigacion
Existen distintas formas de denir ordenes parciales sobre
cadenas.
Orden subcadena: Si x, y
y
v = wa
j
v
, para alg un w, u
, v
y i < j.
Orden subsecuencia, el cual se dene como u w si y solo si
u se puede obtener a partir de w eliminado 0 o mas smbolos
de w.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Longitud e Igualdad de una Cadena Concatenacion de una Cadena
Topico de investigacion
Denicion
Sea un alfabeto, entonces u w si y solo si existe un entero
n 0 y cadenas u
i
, w
j
, 1 i n, 1 j n + 1 tales que
u = u
1
u
2
u
n
y w = w
1
u
1
w
2
u
2
w
n
u
n
w
n+1
.
En caso que v y w no sean comparables, entonces los denotamos
como v w.
Teorema
Sea un alfabeto, entonces dene una relacion de orden sobre
Teorema
Sea un alfabeto. Entonces todo conjunto de cadenas sobre en
el que cada par de elementos es incomparable respecto al orden
secuencia es nito
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Longitud e Igualdad de una Cadena Concatenacion de una Cadena
Topico de investigacion
Denicion
Sea un alfabeto, entonces u w si y solo si existe un entero
n 0 y cadenas u
i
, w
j
, 1 i n, 1 j n + 1 tales que
u = u
1
u
2
u
n
y w = w
1
u
1
w
2
u
2
w
n
u
n
w
n+1
.
En caso que v y w no sean comparables, entonces los denotamos
como v w.
Teorema
Sea un alfabeto, entonces dene una relacion de orden sobre
Teorema
Sea un alfabeto. Entonces todo conjunto de cadenas sobre en
el que cada par de elementos es incomparable respecto al orden
secuencia es nito
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Longitud e Igualdad de una Cadena Concatenacion de una Cadena
Topico de investigacion
Denicion
Sea un alfabeto, entonces u w si y solo si existe un entero
n 0 y cadenas u
i
, w
j
, 1 i n, 1 j n + 1 tales que
u = u
1
u
2
u
n
y w = w
1
u
1
w
2
u
2
w
n
u
n
w
n+1
.
En caso que v y w no sean comparables, entonces los denotamos
como v w.
Teorema
Sea un alfabeto, entonces dene una relacion de orden sobre
Teorema
Sea un alfabeto. Entonces todo conjunto de cadenas sobre en
el que cada par de elementos es incomparable respecto al orden
secuencia es nito
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Longitud e Igualdad de una Cadena Concatenacion de una Cadena
Topico de investigacion
Ejemplo
Sea = a
1
, a
2
, . . . , a
n
, entonces
+
contiene n elementos
incomparables.
Ejemplo
Sea = 0, 1, entonces
n
= 0, 1
n
contiene 2
n
elementos
incomparables.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Longitud e Igualdad de una Cadena Concatenacion de una Cadena
Topico de investigacion
Ejemplo
Sea = a
1
, a
2
, . . . , a
n
, entonces
+
contiene n elementos
incomparables.
Ejemplo
Sea = 0, 1, entonces
n
= 0, 1
n
contiene 2
n
elementos
incomparables.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Longitud e Igualdad de una Cadena Concatenacion de una Cadena
Topico de investigacion
Denicion
Sea un alfabeto y L un lenguaje sobre , entonces el conjunto de
elementos minimales para L, denotado por (L), se dene como
(L) = w L Si x w y x L entonces x = w
Si w (L) decimos que w es un elemento minimal para L.
Teorema
Sea un alfabeto y L un lenguaje sobre , entonces (L) es un
conjunto en que todo par de elementos es incomparable.
Corolario
Sea un alfabeto y L un lenguaje sobre , entonces (L) es
nito.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Longitud e Igualdad de una Cadena Concatenacion de una Cadena
Topico de investigacion
Denicion
Sea un alfabeto y L un lenguaje sobre , entonces el conjunto de
elementos minimales para L, denotado por (L), se dene como
(L) = w L Si x w y x L entonces x = w
Si w (L) decimos que w es un elemento minimal para L.
Teorema
Sea un alfabeto y L un lenguaje sobre , entonces (L) es un
conjunto en que todo par de elementos es incomparable.
Corolario
Sea un alfabeto y L un lenguaje sobre , entonces (L) es
nito.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Longitud e Igualdad de una Cadena Concatenacion de una Cadena
Topico de investigacion
Denicion
Sea un alfabeto y L un lenguaje sobre , entonces el conjunto de
elementos minimales para L, denotado por (L), se dene como
(L) = w L Si x w y x L entonces x = w
Si w (L) decimos que w es un elemento minimal para L.
Teorema
Sea un alfabeto y L un lenguaje sobre , entonces (L) es un
conjunto en que todo par de elementos es incomparable.
Corolario
Sea un alfabeto y L un lenguaje sobre , entonces (L) es
nito.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Longitud e Igualdad de una Cadena Concatenacion de una Cadena
Topico de investigacion
Sea = 0, 1, 2, . . . , 9 entonces denimos el lenguaje
Primos =
x
. Los
lenguajes se denotan con letras may usculas
A, B, C, . . . L, M, N, . . ..
Ejemplo
Los siguientes son ejemplos de lenguajes sobre los alfabetos
especicados.
= 0, 1. L = 0, 1, 00, 01, 10, 11.
= 0, 1. L = 1, 11, 1111, 11111111, . . . = 1
2
n
n 0.
= a, b. L = w w = w
R
(Palndromos, Ej: Sometemos,
somos, analina, arepera, ... ).
= 0, 1, 2, 3, 4, 5, 6, 7, 8, 9.
L = u
u = 0 o 0 no es prejo de u = N.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion 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 may usculas
A, B, C, . . . L, M, N, . . ..
Ejemplo
Los siguientes son ejemplos de lenguajes sobre los alfabetos
especicados.
= 0, 1. L = 0, 1, 00, 01, 10, 11.
= 0, 1. L = 1, 11, 1111, 11111111, . . . = 1
2
n
n 0.
= a, b. L = w w = w
R
(Palndromos, Ej: Sometemos,
somos, analina, arepera, ... ).
= 0, 1, 2, 3, 4, 5, 6, 7, 8, 9.
L = u
u = 0 o 0 no es prejo de u = N.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion 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 may usculas
A, B, C, . . . L, M, N, . . ..
Ejemplo
Los siguientes son ejemplos de lenguajes sobre los alfabetos
especicados.
= 0, 1. L = 0, 1, 00, 01, 10, 11.
= 0, 1. L = 1, 11, 1111, 11111111, . . . = 1
2
n
n 0.
= a, b. L = w w = w
R
(Palndromos, Ej: Sometemos,
somos, analina, arepera, ... ).
= 0, 1, 2, 3, 4, 5, 6, 7, 8, 9.
L = u
u = 0 o 0 no es prejo de u = N.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion 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 may usculas
A, B, C, . . . L, M, N, . . ..
Ejemplo
Los siguientes son ejemplos de lenguajes sobre los alfabetos
especicados.
= 0, 1. L = 0, 1, 00, 01, 10, 11.
= 0, 1. L = 1, 11, 1111, 11111111, . . . = 1
2
n
n 0.
= a, b. L = w w = w
R
(Palndromos, Ej: Sometemos,
somos, analina, arepera, ... ).
= 0, 1, 2, 3, 4, 5, 6, 7, 8, 9.
L = u
u = 0 o 0 no es prejo de u = N.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion 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 may usculas
A, B, C, . . . L, M, N, . . ..
Ejemplo
Los siguientes son ejemplos de lenguajes sobre los alfabetos
especicados.
= 0, 1. L = 0, 1, 00, 01, 10, 11.
= 0, 1. L = 1, 11, 1111, 11111111, . . . = 1
2
n
n 0.
= a, b. L = w w = w
R
(Palndromos, Ej: Sometemos,
somos, analina, arepera, ... ).
= 0, 1, 2, 3, 4, 5, 6, 7, 8, 9.
L = u
u = 0 o 0 no es prejo de u = N.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion de Lenguajes Estrella de Kleene de un Lenguaje
Lenguajes
A B = v v A o v B Union
A B = v v A y v B Interseccion
A B = v v A y v B Diferencia
A =
A Complemento
Para todo lenguaje nito A
A =
A Complemento
Para todo lenguaje nito A
iI
es una familia
cualquiera de lenguajes sobre , entonces
A
iI
B
i
=
iI
(AB
i
). |
iI
B
i
1A =
iI
(B
i
A).
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion 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 B
i
iI
es una familia
cualquiera de lenguajes sobre , entonces
A
iI
B
i
=
iI
(AB
i
). |
iI
B
i
1A =
iI
(B
i
A).
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion 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 B
i
iI
es una familia
cualquiera de lenguajes sobre , entonces
A
iI
B
i
=
iI
(AB
i
). |
iI
B
i
1A =
iI
(B
i
A).
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion 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 B
i
iI
es una familia
cualquiera de lenguajes sobre , entonces
A
iI
B
i
=
iI
(AB
i
). |
iI
B
i
1A =
iI
(B
i
A).
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion 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 B
i
iI
es una familia
cualquiera de lenguajes sobre , entonces
A
iI
B
i
=
iI
(AB
i
). |
iI
B
i
1A =
iI
(B
i
A).
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion de Lenguajes Estrella de Kleene de un Lenguaje
Concatenacion de Lenguajes
Dado un lenguaje A sobre (A
) y un n umero natural n, se
dene A
n
de la siguiente forma
A
0
= ,
A
n
= AA. . . A
---
n veces
= u
1
u
n
u
i
A, para todo i, 1 i n
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion 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
.
A
=
i0
A
i
= A
0
A
1
A
2
A
n
Es decir que A
= u
1
u
2
u
n
u
i
A, n 0
De manera similar se dene la clausura positiva de un lenguaje A,
denotada por A
+
.
A
+
=
i1
A
i
= A
1
A
2
A
n
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion 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
.
A
=
i0
A
i
= A
0
A
1
A
2
A
n
Es decir que A
= u
1
u
2
u
n
u
i
A, n 0
De manera similar se dene la clausura positiva de un lenguaje A,
denotada por A
+
.
A
+
=
i1
A
i
= A
1
A
2
A
n
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion 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
.
A
=
i0
A
i
= A
0
A
1
A
2
A
n
Es decir que A
= u
1
u
2
u
n
u
i
A, n 0
De manera similar se dene la clausura positiva de un lenguaje A,
denotada por A
+
.
A
+
=
i1
A
i
= A
1
A
2
A
n
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion 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 Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion 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 Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion 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
.
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
A = AA
.
2
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
A = AA
.
2
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
A = AA
.
2
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
A = AA
.
2
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
A = AA
.
2
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
A = AA
.
2
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
A = AA
.
2
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
A = AA
.
2
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
)
R
= (A
R
)
.
6
(A
+
)
R
= (A
R
)
+
.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion de Lenguajes Estrella de Kleene de un Lenguaje
Otras Operaciones entre Lenguajes
El inverso de un lenguaje A sobre , notado A
R
, se dene como
A
R
= u
R
u A
Proposicion
Sean A, B lenguajes sobre , entonces:
1
(AB)
R
= B
R
A
R
.
2
(A B)
R
= A
R
B
R
.
3
(A B)
R
= A
R
B
R
.
4
(A
R
)
R
= A.
5
(A
)
R
= (A
R
)
.
6
(A
+
)
R
= (A
R
)
+
.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion de Lenguajes Estrella de Kleene de un Lenguaje
Otras Operaciones entre Lenguajes
El inverso de un lenguaje A sobre , notado A
R
, se dene como
A
R
= u
R
u A
Proposicion
Sean A, B lenguajes sobre , entonces:
1
(AB)
R
= B
R
A
R
.
2
(A B)
R
= A
R
B
R
.
3
(A B)
R
= A
R
B
R
.
4
(A
R
)
R
= A.
5
(A
)
R
= (A
R
)
.
6
(A
+
)
R
= (A
R
)
+
.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion de Lenguajes Estrella de Kleene de un Lenguaje
Otras Operaciones entre Lenguajes
El inverso de un lenguaje A sobre , notado A
R
, se dene como
A
R
= u
R
u A
Proposicion
Sean A, B lenguajes sobre , entonces:
1
(AB)
R
= B
R
A
R
.
2
(A B)
R
= A
R
B
R
.
3
(A B)
R
= A
R
B
R
.
4
(A
R
)
R
= A.
5
(A
)
R
= (A
R
)
.
6
(A
+
)
R
= (A
R
)
+
.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion de Lenguajes Estrella de Kleene de un Lenguaje
Otras Operaciones entre Lenguajes
El inverso de un lenguaje A sobre , notado A
R
, se dene como
A
R
= u
R
u A
Proposicion
Sean A, B lenguajes sobre , entonces:
1
(AB)
R
= B
R
A
R
.
2
(A B)
R
= A
R
B
R
.
3
(A B)
R
= A
R
B
R
.
4
(A
R
)
R
= A.
5
(A
)
R
= (A
R
)
.
6
(A
+
)
R
= (A
R
)
+
.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion de Lenguajes Estrella de Kleene de un Lenguaje
Otras Operaciones entre Lenguajes
El inverso de un lenguaje A sobre , notado A
R
, se dene como
A
R
= u
R
u A
Proposicion
Sean A, B lenguajes sobre , entonces:
1
(AB)
R
= B
R
A
R
.
2
(A B)
R
= A
R
B
R
.
3
(A B)
R
= A
R
B
R
.
4
(A
R
)
R
= A.
5
(A
)
R
= (A
R
)
.
6
(A
+
)
R
= (A
R
)
+
.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion 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 m
n
cadenas en
n
.
Como
=
n0
n
entonces
es la union numerable de
conjuntos nitos disjuntos dos a dos, por lo tanto
es
numerable.
As todos los lenguajes son nitos o numerables.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion 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 m
n
cadenas en
n
.
Como
=
n0
n
entonces
es la union numerable de
conjuntos nitos disjuntos dos a dos, por lo tanto
es
numerable.
As todos los lenguajes son nitos o numerables.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion de Lenguajes Estrella de Kleene de un Lenguaje
Cardinalidad de los Lenguajes
Teorema (Cardinalidad de
(
))
Si entonces el n umero de lenguajes sobre es no contable.
Demostracion.
El conjunto de todos los lenguajes sobre es
), as el n umero
de lenguajes es el cardinal de
(
), como
es numerable,
entonces por el Teorema de Cantor
(
) es no contable.
Existen tantos lenguajes sobre un alfabeto como n umeros reales.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion de Lenguajes Estrella de Kleene de un Lenguaje
Cardinalidad de los Lenguajes
Teorema (Cardinalidad de
(
))
Si entonces el n umero de lenguajes sobre es no contable.
Demostracion.
El conjunto de todos los lenguajes sobre es
), as el n umero
de lenguajes es el cardinal de
(
), como
es numerable,
entonces por el Teorema de Cantor
(
) es no contable.
Existen tantos lenguajes sobre un alfabeto como n umeros reales.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion 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 ww
R
w w .
2 w
w
2
= w
3
.
3 w
w
3
= v
2
, 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 diferentes
A, B sobre tales que AB = BA.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion 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 ww
R
w w .
2 w
w
2
= w
3
.
3 w
w
3
= v
2
, 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 diferentes
A, B sobre tales que AB = BA.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion 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 ww
R
w w .
2 w
w
2
= w
3
.
3 w
w
3
= v
2
, 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 diferentes
A, B sobre tales que AB = BA.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion 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 ww
R
w w .
2 w
w
2
= w
3
.
3 w
w
3
= v
2
, 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 diferentes
A, B sobre tales que AB = BA.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion 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 ww
R
w w .
2 w
w
2
= w
3
.
3 w
w
3
= v
2
, 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 diferentes
A, B sobre tales que AB = BA.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion 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 ww
R
w w .
2 w
w
2
= w
3
.
3 w
w
3
= v
2
, 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 diferentes
A, B sobre tales que AB = BA.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion 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 ww
R
w w .
2 w
w
2
= w
3
.
3 w
w
3
= v
2
, 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 diferentes
A, B sobre tales que AB = BA.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion 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 ww
R
w w .
2 w
w
2
= w
3
.
3 w
w
3
= v
2
, 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 diferentes
A, B sobre tales que AB = BA.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion de Lenguajes Estrella de Kleene de un Lenguaje
Ejercicios
1
Para cada una de las siguientes armaciones, decida si es
verdadera o no. Justique su respuesta.
Para todo lenguaje L se tiene que:
1 L
= L
.
2 L
R
= L
R
.
3 LL
R
L
R
L =
.
4 LL LL =
.
5 Si L
1
= L
2
, entonces L
1
= L
2
para todo lenguaje L
1
y L
2
.
6 AB = A B.
2
Dar un ejemplo de un alfabeto y tres lenguajes diferentes
A, B, C sobre tales que A(B C) AB AC. Una de la
dos concatenaciones siguientes es verdadera y la otra es falsa.
Demostrar o refutar, seg un sea el caso:
1 A(B C) AB AC.
2 AB AC A(B C).
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion de Lenguajes Estrella de Kleene de un Lenguaje
Ejercicios
1
Para cada una de las siguientes armaciones, decida si es
verdadera o no. Justique su respuesta.
Para todo lenguaje L se tiene que:
1 L
= L
.
2 L
R
= L
R
.
3 LL
R
L
R
L =
.
4 LL LL =
.
5 Si L
1
= L
2
, entonces L
1
= L
2
para todo lenguaje L
1
y L
2
.
6 AB = A B.
2
Dar un ejemplo de un alfabeto y tres lenguajes diferentes
A, B, C sobre tales que A(B C) AB AC. Una de la
dos concatenaciones siguientes es verdadera y la otra es falsa.
Demostrar o refutar, seg un sea el caso:
1 A(B C) AB AC.
2 AB AC A(B C).
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion de Lenguajes Estrella de Kleene de un Lenguaje
Ejercicios
1
Para cada una de las siguientes armaciones, decida si es
verdadera o no. Justique su respuesta.
Para todo lenguaje L se tiene que:
1 L
= L
.
2 L
R
= L
R
.
3 LL
R
L
R
L =
.
4 LL LL =
.
5 Si L
1
= L
2
, entonces L
1
= L
2
para todo lenguaje L
1
y L
2
.
6 AB = A B.
2
Dar un ejemplo de un alfabeto y tres lenguajes diferentes
A, B, C sobre tales que A(B C) AB AC. Una de la
dos concatenaciones siguientes es verdadera y la otra es falsa.
Demostrar o refutar, seg un sea el caso:
1 A(B C) AB AC.
2 AB AC A(B C).
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion de Lenguajes Estrella de Kleene de un Lenguaje
Ejercicios
1
Para cada una de las siguientes armaciones, decida si es
verdadera o no. Justique su respuesta.
Para todo lenguaje L se tiene que:
1 L
= L
.
2 L
R
= L
R
.
3 LL
R
L
R
L =
.
4 LL LL =
.
5 Si L
1
= L
2
, entonces L
1
= L
2
para todo lenguaje L
1
y L
2
.
6 AB = A B.
2
Dar un ejemplo de un alfabeto y tres lenguajes diferentes
A, B, C sobre tales que A(B C) AB AC. Una de la
dos concatenaciones siguientes es verdadera y la otra es falsa.
Demostrar o refutar, seg un sea el caso:
1 A(B C) AB AC.
2 AB AC A(B C).
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion de Lenguajes Estrella de Kleene de un Lenguaje
Ejercicios
1
Para cada una de las siguientes armaciones, decida si es
verdadera o no. Justique su respuesta.
Para todo lenguaje L se tiene que:
1 L
= L
.
2 L
R
= L
R
.
3 LL
R
L
R
L =
.
4 LL LL =
.
5 Si L
1
= L
2
, entonces L
1
= L
2
para todo lenguaje L
1
y L
2
.
6 AB = A B.
2
Dar un ejemplo de un alfabeto y tres lenguajes diferentes
A, B, C sobre tales que A(B C) AB AC. Una de la
dos concatenaciones siguientes es verdadera y la otra es falsa.
Demostrar o refutar, seg un sea el caso:
1 A(B C) AB AC.
2 AB AC A(B C).
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion de Lenguajes Estrella de Kleene de un Lenguaje
Ejercicios
1
Para cada una de las siguientes armaciones, decida si es
verdadera o no. Justique su respuesta.
Para todo lenguaje L se tiene que:
1 L
= L
.
2 L
R
= L
R
.
3 LL
R
L
R
L =
.
4 LL LL =
.
5 Si L
1
= L
2
, entonces L
1
= L
2
para todo lenguaje L
1
y L
2
.
6 AB = A B.
2
Dar un ejemplo de un alfabeto y tres lenguajes diferentes
A, B, C sobre tales que A(B C) AB AC. Una de la
dos concatenaciones siguientes es verdadera y la otra es falsa.
Demostrar o refutar, seg un sea el caso:
1 A(B C) AB AC.
2 AB AC A(B C).
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion de Lenguajes Estrella de Kleene de un Lenguaje
Ejercicios
1
Para cada una de las siguientes armaciones, decida si es
verdadera o no. Justique su respuesta.
Para todo lenguaje L se tiene que:
1 L
= L
.
2 L
R
= L
R
.
3 LL
R
L
R
L =
.
4 LL LL =
.
5 Si L
1
= L
2
, entonces L
1
= L
2
para todo lenguaje L
1
y L
2
.
6 AB = A B.
2
Dar un ejemplo de un alfabeto y tres lenguajes diferentes
A, B, C sobre tales que A(B C) AB AC. Una de la
dos concatenaciones siguientes es verdadera y la otra es falsa.
Demostrar o refutar, seg un sea el caso:
1 A(B C) AB AC.
2 AB AC A(B C).
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion de Lenguajes Estrella de Kleene de un Lenguaje
Ejercicios
1
Para cada una de las siguientes armaciones, decida si es
verdadera o no. Justique su respuesta.
Para todo lenguaje L se tiene que:
1 L
= L
.
2 L
R
= L
R
.
3 LL
R
L
R
L =
.
4 LL LL =
.
5 Si L
1
= L
2
, entonces L
1
= L
2
para todo lenguaje L
1
y L
2
.
6 AB = A B.
2
Dar un ejemplo de un alfabeto y tres lenguajes diferentes
A, B, C sobre tales que A(B C) AB AC. Una de la
dos concatenaciones siguientes es verdadera y la otra es falsa.
Demostrar o refutar, seg un sea el caso:
1 A(B C) AB AC.
2 AB AC A(B C).
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion de Lenguajes Estrella de Kleene de un Lenguaje
Ejercicios
1
Para cada una de las siguientes armaciones, decida si es
verdadera o no. Justique su respuesta.
Para todo lenguaje L se tiene que:
1 L
= L
.
2 L
R
= L
R
.
3 LL
R
L
R
L =
.
4 LL LL =
.
5 Si L
1
= L
2
, entonces L
1
= L
2
para todo lenguaje L
1
y L
2
.
6 AB = A B.
2
Dar un ejemplo de un alfabeto y tres lenguajes diferentes
A, B, C sobre tales que A(B C) AB AC. Una de la
dos concatenaciones siguientes es verdadera y la otra es falsa.
Demostrar o refutar, seg un sea el caso:
1 A(B C) AB AC.
2 AB AC A(B C).
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion de Lenguajes Estrella de Kleene de un Lenguaje
Ejercicios
1
Para cada una de las siguientes armaciones, decida si es
verdadera o no. Justique su respuesta.
Para todo lenguaje L se tiene que:
1 L
= L
.
2 L
R
= L
R
.
3 LL
R
L
R
L =
.
4 LL LL =
.
5 Si L
1
= L
2
, entonces L
1
= L
2
para todo lenguaje L
1
y L
2
.
6 AB = A B.
2
Dar un ejemplo de un alfabeto y tres lenguajes diferentes
A, B, C sobre tales que A(B C) AB AC. Una de la
dos concatenaciones siguientes es verdadera y la otra es falsa.
Demostrar o refutar, seg un sea el caso:
1 A(B C) AB AC.
2 AB AC A(B C).
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Expresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios
Lenguajes Regulares
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Expresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios
Lenguajes Regulares
Existe una clase especial de lenguajes conocidos como lenguajes
regulares. Los lenguajes regulares sobre un alfabeto dado son
todos los lenguajes que se pueden formar a partir de los lenguajes
basicos , , a , a , por medio de las operaciones de union,
concatenacion y estrella de Kleene.
Denicion
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 Union
AB Concatenacion
A
estrella de Kleene
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Expresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios
Lenguajes Regulares
Existe una clase especial de lenguajes conocidos como lenguajes
regulares. Los lenguajes regulares sobre un alfabeto dado son
todos los lenguajes que se pueden formar a partir de los lenguajes
basicos , , a , a , por medio de las operaciones de union,
concatenacion y estrella de Kleene.
Denicion
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 Union
AB Concatenacion
A
estrella de Kleene
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Expresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios
Lenguajes Regulares
Existe una clase especial de lenguajes conocidos como lenguajes
regulares. Los lenguajes regulares sobre un alfabeto dado son
todos los lenguajes que se pueden formar a partir de los lenguajes
basicos , , a , a , por medio de las operaciones de union,
concatenacion y estrella de Kleene.
Denicion
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 Union
AB Concatenacion
A
estrella de Kleene
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Expresiones 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 un
0: Una cadena en este lenguaje se puede escribir de la forma x0y,
donde x, y 1
0 1
(0 1)
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Expresiones 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 un
0: Una cadena en este lenguaje se puede escribir de la forma x0y,
donde x, y 1
0 1
(0 1)
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Expresiones 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)
representa
la clausura de Kleene del lenguaje representado por R. Los
parentesis ( y ) son smbolos de agrupacion y se pueden
omitir si no hay peligro de ambig uedad.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Expresiones 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)
representa
la clausura de Kleene del lenguaje representado por R. Los
parentesis ( y ) son smbolos de agrupacion y se pueden
omitir si no hay peligro de ambig uedad.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Expresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios
Expresiones Regulares
Ejemplo
Los dos lenguajes del ejemplo 4.2 se pueden representar con
expresiones regulares de la siguiente manera:
(i) El lenguaje A de todas las cadenas que tienen exactamente un
0: A = 1
01
.
(ii) El lenguaje B de todas las cadenas que tienen un n umero
impar de smbolos:
B = [(0 1) (0 1)|
(0 1)
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Expresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios
Expresiones Regulares
Ejemplo
Los dos lenguajes del ejemplo 4.2 se pueden representar con
expresiones regulares de la siguiente manera:
(i) El lenguaje A de todas las cadenas que tienen exactamente un
0: A = 1
01
.
(ii) El lenguaje B de todas las cadenas que tienen un n umero
impar de smbolos:
B = [(0 1) (0 1)|
(0 1)
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Expresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios
Ejemplos de Lenguajes Regulares
Ejemplo
Encontrar una expresion regular para el lenguaje de todas las
cadenas que comienzan con 2 y terminan con 1, denidas sobre el
alfabeto = 0, 1, 2.
Solucion: Cualquier cadena en este lenguaje se puede escribir de
la forma 2x1, donde x 0, 1, 2
.
Este puede ser representado como: 2(0 1 2)
1
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Expresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios
Ejemplos de Lenguajes Regulares
Ejemplo
Encontrar una expresion regular para el lenguaje de todas las
cadenas que comienzan con 2 y terminan con 1, denidas sobre el
alfabeto = 0, 1, 2.
Solucion: Cualquier cadena en este lenguaje se puede escribir de
la forma 2x1, donde x 0, 1, 2
.
Este puede ser representado como: 2(0 1 2)
1
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Expresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios
Ejemplos de Lenguajes Regulares
Ejemplo
Encontrar una expresion regular para el lenguaje de todas las
cadenas que tienen un n umero par de aes, denidas sobre el
alfabeto = a, b.
Solucion: Cualquier cadena en este lenguaje est a formada por
solo bes o es concatenacion de cadenas de la forma xayaz, donde
x, y, z b
.
Este puede ser representado como:
(b
ab
ab
= (ab
a b
.
Este puede ser representado como:
(b
ab
ab
= (ab
a b
(a b)
b
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Expresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios
Ejemplos de Lenguajes Regulares
Ejemplo
Encontrar una expresion regular para el lenguaje de todas las
cadenas que comienzan con a o terminan con b, denidas sobre el
alfabeto = a, b.
Solucion: a(a b)
(a b)
b
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Expresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios
Ejemplos de Lenguajes Regulares
Ejemplo
Encontrar una expresion regular para el lenguaje de todas las
cadenas que tiene un n umero par de aes o un n umero impar de
bes, denidas sobre el alfabeto = a, b.
Solucion: A partir de los ejemplos 4.5 y 4.6, se concluye que este
lenguaje puede ser representado como:
(ab
a b
(ba
b a
ba
a b
(ba
b a
ba
01
(0 1)
(0 1)
10
(0 1)
= (0 1)
(01 10)
(0 1)
01
(0 1)
(0 1)
10
(0 1)
= (0 1)
(01 10)
(0 1)
( 0 00)
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Expresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios
Ejemplos de Lenguajes Regulares
Ejemplo
Encontrar una expresion regular para el lenguaje de todas las
cadenas que tienen a lo sumo dos ceros consecutivos, denidas
sobre el alfabeto = 0, 1.
Solucion: Cualquier cadena en este lenguaje es concatenacion de
las cadenas: 1, 01, 001; esto con el n de que 0 o 00 siempre esten
separadas por al menos un 1. Hay que tener en cuenta que las
cadenas pueden nalizar con 1s, con un 0 o con dos 0.
Este puede ser representado como: (1 01 001)
( 0 00)
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Expresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios
Ejemplos de Lenguajes Regulares
Ejemplo
Encontrar una expresion regular para el lenguaje de todas las
cadenas que no tienen la subcadena 00, denidas sobre el alfabeto
= 0, 1.
Solucion: Cualquier cadena en este lenguaje es concatenacion de
las cadenas: 1, 01.
Este puede ser representado como: (01 1)
( 0)
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Expresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios
Ejemplos de Lenguajes Regulares
Ejemplo
Encontrar una expresion regular para el lenguaje de todas las
cadenas que no tienen la subcadena 00, denidas sobre el alfabeto
= 0, 1.
Solucion: Cualquier cadena en este lenguaje es concatenacion de
las cadenas: 1, 01.
Este puede ser representado como: (01 1)
( 0)
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Expresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios
Ejercicios
Encontrar expresiones regulares para los lenguajes descritos a
continuacion:
= a, b, c. Lenguaje de todas las cadenas que tienen un
n umero par de smbolos.
= 0, 1. Lenguaje de todas las cadenas cuyo quinto
smbolo, 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 contienen
dos unos consecutivos.
= a, b. Lenguaje de todas las cadenas cuya longitud es un
m ultiplo de tres.
= 0, 1. Lenguaje de todas las cadenas de longitud impar
que tienen unos unicamente en las posiciones impares.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Expresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios
Ejercicios
Encontrar expresiones regulares para los lenguajes descritos a
continuacion:
= a, b, c. Lenguaje de todas las cadenas que tienen un
n umero par de smbolos.
= 0, 1. Lenguaje de todas las cadenas cuyo quinto
smbolo, 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 contienen
dos unos consecutivos.
= a, b. Lenguaje de todas las cadenas cuya longitud es un
m ultiplo de tres.
= 0, 1. Lenguaje de todas las cadenas de longitud impar
que tienen unos unicamente en las posiciones impares.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Expresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios
Ejercicios
Encontrar expresiones regulares para los lenguajes descritos a
continuacion:
= a, b, c. Lenguaje de todas las cadenas que tienen un
n umero par de smbolos.
= 0, 1. Lenguaje de todas las cadenas cuyo quinto
smbolo, 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 contienen
dos unos consecutivos.
= a, b. Lenguaje de todas las cadenas cuya longitud es un
m ultiplo de tres.
= 0, 1. Lenguaje de todas las cadenas de longitud impar
que tienen unos unicamente en las posiciones impares.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Expresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios
Ejercicios
Encontrar expresiones regulares para los lenguajes descritos a
continuacion:
= a, b, c. Lenguaje de todas las cadenas que tienen un
n umero par de smbolos.
= 0, 1. Lenguaje de todas las cadenas cuyo quinto
smbolo, 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 contienen
dos unos consecutivos.
= a, b. Lenguaje de todas las cadenas cuya longitud es un
m ultiplo de tres.
= 0, 1. Lenguaje de todas las cadenas de longitud impar
que tienen unos unicamente en las posiciones impares.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Expresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios
Ejercicios
Encontrar expresiones regulares para los lenguajes descritos a
continuacion:
= a, b, c. Lenguaje de todas las cadenas que tienen un
n umero par de smbolos.
= 0, 1. Lenguaje de todas las cadenas cuyo quinto
smbolo, 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 contienen
dos unos consecutivos.
= a, b. Lenguaje de todas las cadenas cuya longitud es un
m ultiplo de tres.
= 0, 1. Lenguaje de todas las cadenas de longitud impar
que tienen unos unicamente en las posiciones impares.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Expresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios
Ejercicios
Encontrar expresiones regulares para los lenguajes descritos a
continuacion:
= a, b, c. Lenguaje de todas las cadenas que tienen un
n umero par de smbolos.
= 0, 1. Lenguaje de todas las cadenas cuyo quinto
smbolo, 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 contienen
dos unos consecutivos.
= a, b. Lenguaje de todas las cadenas cuya longitud es un
m ultiplo de tres.
= 0, 1. Lenguaje de todas las cadenas de longitud impar
que tienen unos unicamente en las posiciones impares.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Diagrama de Transicion de un Automata Lenguaje aceptado p
Aut
omatas Finitos
Deterministas (AFD)
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Diagrama de Transicion de un Automata Lenguaje aceptado p
Automatas Finitos Deterministas (AFD)
Ver Documento.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Diagrama de Transicion de un Automata Lenguaje aceptado p
Automatas Finitos Deterministas (AFD)
Denicion
Un automata nito determinista (AFD) es una quintupla
= (, Q, q
0
, F, ), donde:
es un alfabeto llamado alfabeto de cinta. Todas las cadenas
que procesa pertenecen a
.
Q = q
0
, q
1
, . . . , q
n
es un conjunto de estados internos del
automata.
q
0
Q es el estado inicial.
F Q es un conjunto de estados nales o de aceptacion.
F .
La funcion de transicion del automata
Q Q
(q, a) (q, a)
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Diagrama de Transicion de un Automata Lenguaje aceptado p
Automatas Finitos Deterministas (AFD)
Ejemplo
Sea el automata = (, Q, q
0
, F, ), donde = 0, 1,
Q = q
0
, q
1
, q
2
, F = q
2
y esta denida tabularmente por:
0 1
q
0
q
0
q
1
q
1
q
1
q
2
q
2
q
2
q
2
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Diagrama 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 q
0
se representa como:
q
Ademas, si (q, a) = q
a
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Diagrama de Transicion de un Automata Lenguaje aceptado p
Diagrama de Transicion de un Automata
Ejemplo
El diagrama de transicion del automata del ejemplo 5.2 es:
q
0
q
1
q
2
0
1
1
0
0, 1
Figura: Diagrama de Transicion del Automata M.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Diagrama de Transicion de un Automata Lenguaje aceptado p
Diagrama de Transicion de un Automata
Ejemplo
q
0
q
1
q
3
q
2
b b
b
a
a
a
a, b
Figura: Ejemplo 5.4.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Diagrama de Transicion de un Automata Lenguaje aceptado p
Diagrama de Transicion de un Automata
Solucion: El automata rechaza todas las cadenas que inician
con a. Una cadena w L() si w = bb
o si w = bau entonces u
debe tener al menos una a o un n umero par de a y tantas bs como
quiera. Se concluye que el lenguaje aceptado por es:
L() = w
Q por
medio de la siguiente denicion recursiva
(q, ) = q,
(q, wa) = (
.
Denicion
Sea = (, Q, q
0
, F, ) un AFD, entonces el lenguaje aceptado
por esta denido como L() = w
(q, w) F.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Diagrama de Transicion de un Automata Lenguaje aceptado p
Lenguaje aceptado por un AFD
Ejemplo
Considere el AFD del ejemplo 5.4, veriquemos si la cadena
w = 1011 es aceptada o rechazada por el AFD.
(q
0
, 1011) = (
(q
0
, 101), 1)
= ((
(q
0
, 10), 1), 1)
= (((
(q
0
, 1), 0), 1), 1)
= ((((
(q
0
, ), 1), 0), 1), 1)
= ((((q
0
, 1), 0), 1), 1)
= (((q
1
, 0), 1), 1)
= ((q
1
, 1), 1)
= (q
2
, 1)
= q
2
F
Luego w = 1011 es aceptada por el AFD.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Diagrama de Transicion de un Automata Lenguaje aceptado p
Lenguaje aceptado por un AFD
Ejemplo
q
0
q
1
q
3
q
2
1 0
0
1
0
1
0, 1
Figura: Ejemplo 5.8.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Diagrama de Transicion de un Automata Lenguaje aceptado p
Lenguaje aceptado por un AFD
Solucion: El automata acepta todas las cadenas que inician y
nalizan con 0 . En efecto si w L() debe iniciar y terminar en
0, ya que es la unica forma de llegar al estado q
2
, el cual es el
unico estado de aceptacion, luego w = 0u0, para alg un u
.
Recprocamente, si w = 0u0, entonces :
(q
0
, 0u0) = (
((
(q
0
, )0), u), 0)
= (
((q
0
, 0), u), 0)
= (
(q
1
, u), 0)
= q
2
F
As w = 0u0 L(). Se concluye que el lenguaje aceptado por
es:
L() = w
w = 0u0, u
w = uaav, u, v
q
0
q
1
q
2
b, c a, b, c
a
b, c
a
Figura: Ejemplo 5.9.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Diagrama de Transicion de un Automata Lenguaje aceptado p
Ejemplos de AFD
Ejemplo
Dise ne un AFD que acepte el lenguaje que contiene la subcadena
aa, sobre el alfabeto = a, b, c.
Solucion: Un automata que acepte ese lenguaje debe cumplir
que cuando lea dos as consecutivas llegue a un estado de
aceptacion y de ah no vuelva a salir. Se verica que el automata
de la gura 4 acepta el lenguaje. Es decir
L() = w
w = uaav, u, v
q
0
q
1
q
2
b, c a, b, c
a
b, c
a
Figura: Ejemplo 5.9.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Diagrama de Transicion de un Automata Lenguaje aceptado p
Ejemplos de AFD
Ejemplo
Dise ne un AFD que acepte el lenguaje L
2
, donde L es el lenguaje
del ejemplo 5.8.
q
0
q
1
q
2
q
3
q
4
q
5
1 1 0
0, 1
0
1
0
1
0
0
1
Figura: Ejemplo 5.10.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Diagrama de Transicion de un Automata Lenguaje aceptado p
Ejemplos de AFD
Ejemplo
Dise ne un AFD que acepte el lenguaje L
2
, donde L es el lenguaje
del ejemplo 5.8.
q
0
q
1
q
2
q
3
q
4
q
5
1 1 0
0, 1
0
1
0
1
0
0
1
Figura: Ejemplo 5.10.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Diagrama de Transicion de un Automata Lenguaje aceptado p
Ejemplos de AFD
Ejemplo
Un AFD puede contar modulo un n umero jo. Por ejemplo el
automata de la gura 6 acepta todas las cadenas en 1
cuya
longitud es m ultiplo de 4. Es decir
L() = w 1
|w| 0 mod 4.
q
0
q
1
q
2
q
3
1 1
1 1
Figura: Ejemplo 5.11.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Diagrama de Transicion de un Automata Lenguaje aceptado p
Ejemplos de AFD
Para simplicar el dise no de los automatas en los diagramas de
transicion solo apareceran los arcos que intervengan en trayectorias
de aceptacion, es decir si no aparece un arco es porque este
conduce a un estado in util. Por ejemplo la versi on simplicada
del automata de la gura 2 aparece en la gura 7:
q
0
q
1
q
2
b b
b
a
a
Figura: Ejemplo 5.4.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Diagrama de Transicion de un Automata Lenguaje aceptado p
Ejemplos de AFD
Ejemplo
Describa el lenguaje aceptado por el automata sobre el alfabeto
= 0, 1 que se muestra en el diagrama 8:
q
0
q
1
q
2
q
3
0 0 0 0
1 1 1
1
Figura: Ejemplo 5.12.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Diagrama de Transicion de un Automata Lenguaje aceptado p
Ejemplos de AFD
Solucion: Una cadena w es aceptada por si w = 0
o si existe
un computo cclico de q
0
a q
0
, pasando por los estados q
1
, q
2
y q
3
un n umero nito de veces. Ademas, el AFD cambia de un
estado q
i
(0 i 2) a un estado q
i+1
o de q
3
a q
0
si y solo si lee el
smbolo 1. Asimismo, entre cada 1 que lea puede procesar tantos
os como se quiera. Por lo tanto, w L() si y solo si |w|
1
es
m ultiplo de 4. As:
L() = w
|w|
1
0 mod 4 = 0
(10
10
10
10
|w|
a
0 mod 2, |w|
b
0 mod 2
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Diagrama de Transicion de un Automata Lenguaje aceptado p
Ejemplos de AFD
Ejemplo
Dise ne un AFD que acepte el lenguaje de todas las cadenas que
tienen como prejo la cadena 010, sobre el alfabeto = 0, 1.
Solucion: Un automata que acepte ese lenguaje debe cumplir
que cuando lea una cadena que inicie con 010 la acepte, de lo
contrario sea rechazada. Se verica que el automata de la gura 10
acepta el lenguaje.
q
0
q
1
q
2
q
3
0, 1
0 1 0
Figura: Ejemplo 5.14.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Diagrama de Transicion de un Automata Lenguaje aceptado p
Ejemplos de AFD
Ejemplo
Dise ne un AFD que acepte el lenguaje de todas las cadenas que
tienen como prejo la cadena 010, sobre el alfabeto = 0, 1.
Solucion: Un automata que acepte ese lenguaje debe cumplir
que cuando lea una cadena que inicie con 010 la acepte, de lo
contrario sea rechazada. Se verica que el automata de la gura 10
acepta el lenguaje.
q
0
q
1
q
2
q
3
0, 1
0 1 0
Figura: Ejemplo 5.14.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Diagrama de Transicion de un Automata Lenguaje aceptado p
Ejemplos de AFD
Ejemplo
Dise ne un AFD que acepte el lenguaje de todas las cadenas que
tienen como sujo la cadena 101, sobre el alfabeto = 0, 1.
Solucion: Un automata que acepte ese lenguaje debe cumplir
que cuando lea la subcadena 101 llegue a un estado de aceptacion;
si no hay mas smbolos debe ser aceptada, si aparece el smbolo 0
debe devolverse un estado, ya que en ese momento se ha
computado una cadena de la forma u1010 con u
; si en
cambio el smbolo siguiente es 1 debe devolverse dos estados, ya
que en ese momento se ha computado una cadena de la forma
u1011. Con estas condiciones se verica que el automata de la
gura 11 acepta el lenguaje.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Diagrama de Transicion de un Automata Lenguaje aceptado p
Ejemplos de AFD
Ejemplo
Dise ne un AFD que acepte el lenguaje de todas las cadenas que
tienen como sujo la cadena 101, sobre el alfabeto = 0, 1.
Solucion: Un automata que acepte ese lenguaje debe cumplir
que cuando lea la subcadena 101 llegue a un estado de aceptacion;
si no hay mas smbolos debe ser aceptada, si aparece el smbolo 0
debe devolverse un estado, ya que en ese momento se ha
computado una cadena de la forma u1010 con u
; si en
cambio el smbolo siguiente es 1 debe devolverse dos estados, ya
que en ese momento se ha computado una cadena de la forma
u1011. Con estas condiciones se verica que el automata de la
gura 11 acepta el lenguaje.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Diagrama de Transicion de un Automata Lenguaje aceptado p
Ejemplos de AFD
q
0
q
1
q
2
q
3
0 1
1 0 1
0 0
1
Figura: Ejemplo 5.15.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas
Ejercicios
Considere el AFD de la gura 12.
1
Determine si las cadenas 001, 010101, 0011101011101 son
aceptadas o no por el automata.
2
Del conjunto de cadenas (01)
ab
a.
7
= a, b. Que acepte el lenguaje L = ab
3
wb
2
w
.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas
Ejercicios
Dise nar AFD que acepten los siguientes lenguajes:
1
= a, b. Lenguaje de las cadenas sobre que contienen
exactamente una a .
2
= a, b. Lenguaje de las cadenas sobre que contienen
exactamente 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 con
10 y terminan con 01.
5
= 0, 1. Lenguaje de las cadenas sobre tal que toda
subcadena 010 es seguida inmediatamente por la subcadena
111.
6
= a, b. Que acepte el lenguaje L = ab
ab
a.
7
= a, b. Que acepte el lenguaje L = ab
3
wb
2
w
.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas
Ejercicios
Dise nar AFD que acepten los siguientes lenguajes:
1
= a, b. Lenguaje de las cadenas sobre que contienen
exactamente una a .
2
= a, b. Lenguaje de las cadenas sobre que contienen
exactamente 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 con
10 y terminan con 01.
5
= 0, 1. Lenguaje de las cadenas sobre tal que toda
subcadena 010 es seguida inmediatamente por la subcadena
111.
6
= a, b. Que acepte el lenguaje L = ab
ab
a.
7
= a, b. Que acepte el lenguaje L = ab
3
wb
2
w
.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas
Ejercicios
Dise nar AFD que acepten los siguientes lenguajes:
1
= a, b. Lenguaje de las cadenas sobre que contienen
exactamente una a .
2
= a, b. Lenguaje de las cadenas sobre que contienen
exactamente 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 con
10 y terminan con 01.
5
= 0, 1. Lenguaje de las cadenas sobre tal que toda
subcadena 010 es seguida inmediatamente por la subcadena
111.
6
= a, b. Que acepte el lenguaje L = ab
ab
a.
7
= a, b. Que acepte el lenguaje L = ab
3
wb
2
w
.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas
Ejercicios
Dise nar AFD que acepten los siguientes lenguajes:
1
= a, b. Lenguaje de las cadenas sobre que contienen
exactamente una a .
2
= a, b. Lenguaje de las cadenas sobre que contienen
exactamente 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 con
10 y terminan con 01.
5
= 0, 1. Lenguaje de las cadenas sobre tal que toda
subcadena 010 es seguida inmediatamente por la subcadena
111.
6
= a, b. Que acepte el lenguaje L = ab
ab
a.
7
= a, b. Que acepte el lenguaje L = ab
3
wb
2
w
.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas
Ejercicios
Dise nar AFD que acepten los siguientes lenguajes:
1
= a, b. Lenguaje de las cadenas sobre que contienen
exactamente una a .
2
= a, b. Lenguaje de las cadenas sobre que contienen
exactamente 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 con
10 y terminan con 01.
5
= 0, 1. Lenguaje de las cadenas sobre tal que toda
subcadena 010 es seguida inmediatamente por la subcadena
111.
6
= a, b. Que acepte el lenguaje L = ab
ab
a.
7
= a, b. Que acepte el lenguaje L = ab
3
wb
2
w
.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas
Ejercicios
Dise nar AFD que acepten los siguientes lenguajes:
1
= a, b. Lenguaje de las cadenas sobre que contienen
exactamente una a .
2
= a, b. Lenguaje de las cadenas sobre que contienen
exactamente 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 con
10 y terminan con 01.
5
= 0, 1. Lenguaje de las cadenas sobre tal que toda
subcadena 010 es seguida inmediatamente por la subcadena
111.
6
= a, b. Que acepte el lenguaje L = ab
ab
a.
7
= a, b. Que acepte el lenguaje L = ab
3
wb
2
w
.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas
Gramaticas Regulares
Denicion
Una gramatica independiente del contexto (GIC), es una
cuadrupla, G = (V, , S, P), donde:
V es un alfabeto, cuyos elementos se llaman variables o
smbolos no terminales.
es un alfabeto, cuyos elementos se llaman smbolos
terminales. y V son disyuntos.
S V es una variable especial, llamada smbolo inicial de la
gramatica.
Un conjunto nito P V (V )
de producciones o reglas
de re-escritura. Una produccion (A, w) P de G se denota
por A w y se lee A produce w; su signicado es: la
variable A se puede reemplazar (sobre-escribir) por la cadena
w. En la produccion A w, A se denomina la cabeza y w el
cuerpo de la produccion.
Jose Luis Ramrez Ramrez Introduccion a la Teora 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) y
se dene como
L(G) = w
S
+
w.
Un lenguaje L sobre un alfabeto se dice que es un lenguaje
independiente del contexto (LIC) si existe una GIC G tal que
L(G) = L.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas
Gramaticas Regulares
Denicion
Una GIC G = (V, , S, P) se dice regular por la derecha si todas
las producciones son de la forma
A vB,
A v
donde A, B V y v
.
Una gramatica es regular si es una gramatica regular por la
derecha o regular por la izquierda, [3] .
Jose Luis Ramrez Ramrez Introduccion a la Teora 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 gramatica
regular.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas
Teorema de Kleene
Lenguajes
Regulares
Aut
omatas
Finitos
Gram
aticas
Regulares
Expresiones
Regulares
Jose Luis Ramrez Ramrez Introduccion a la Teora 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 and
Automata. Jones and Bartlett Publishers, 4 Edicion. 2006.
Shallit, Jerey. A Second Course in Formal Languages and
Automata 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. Undergraduate
Text in Computer Science, Springer. 1997.
Simovici, Dan and Tenney, Richard. Theory of Formal
Languages with Applications.World Scientic. 1999.
De Castro, Rodrigo Teora de la computacion, lenguajes,
automatas, gramaticas. Universidad Nacional de Colombia,
2004.
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas