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 Teora de la Computacion:

Lenguajes, Automatas y Gramaticas
Jose Luis Ramrez Ramrez
Docente Escuela Matematicas
Universidad Sergio Arboleda
IV Escuela de Verano en Matematicas
Universidad Sergio Arboleda
2011
Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas
1
Alan Turing
2
Cadenas o Palabras
Longitud e Igualdad de una Cadena
Concatenacion de una Cadena
Inversa de una Cadena
Subcadenas, Prejos y Sujos
Otras Propiedades
Ejercicios - Tema de Investigacion
3 Lenguajes
Concatenacion de Lenguajes
Estrella de Kleene de un Lenguaje
Otras Operaciones entre Lenguajes
Cardinalidad de los Lenguajes
Ejercicios
4 Lenguajes Regulares
Expresiones Regulares
Ejemplos de Lenguajes Regulares
Ejercicios
5
Automatas Finitos Deterministas (AFD)
Diagrama de Transicion de un Automata
Lenguaje aceptado por un AFD
Ejemplos de AFD
6 Ejercicios
7
Gramaticas Regulares
Alan Mathison Turing
Nacio en Londres el 23 de junio de 1912.
Vivio gran parte de su vida sin sus padres. El padre trabajaba
para el servicio civil indio.
Turing inicia sus estudios Sherborne, donde nunca encajo muy
bien.
Seguramente lo hara muy bien cuando encuentre su
vocacion, pero mientras tanto hara mucho mejor si intentase
poner lo mejor de su parte como miembro de esta escuela.
Pasa mucho tiempo dedicandose a investigaciones de
matematica avanzada y desatiende las tareas elementales.
En Matematicas y ciencias comenzo a destacarse. Tiene una
amistad con Christopher Morcom.
bien.
bien.
bien.
bien.
bien.
Christopher Morcom muere de tuberculosis en 1930. Turing le
escribe a su madre No parece que se me haya ocurrido jamas
hacer otros amigos aparte de Marcom, ya que el haca que
todos los demas pareciesen tremendamente vulgares
En 1931 gano una beca para el Kings Collage de Cambridge.
En 1936 presenta su artculo Sobre n umeros computables,
con una aplicacion al entscheidungsproblem (Problema de
Decision) a Max Newman.
Newman recibio por correo una separata de un artculo de
Alonzo Church, matematico de la Universidad de Princeton,
titulado Un problema insoluble de la teora de los n umeros
elementales . Lambda Calculus (Kleene).
Inicia estudios en 1936 en Princeton, bajo la direccion de
Church. La logica no tenia tanto auge en ese momento, Godel
y Von Neumann se haban ido de Princeton.
En 1928 David Hilbert, reenvio al mundo de mundo de las
matematicas tres retos de entre los que ya haba lanzado en el
gran Congreso de Matematicas celebrado en Pars en 1900:
1
Demostrar que todos los enunciados verdaderos en
matematicas pueden ser demostrados, esto es, la completitud
de las matematicas.
2
Demostrar que solo los enunciados verdaderos pueden ser
demostrados, esto es, la consistencia de las matematicas.
3
Demostrar la decidibilidad de las matematicas, es decir, la
existencia de un procedimiento de decision para decidir la
veracidad o falsedad de una proposicion matematica dada.
Arquitecto de la maquina de descifro el Codigo Enigma
aleman durante la Segunda Guerra Mundial.
Turing se suicido en 1954.
1
de las matematicas.
2
3
1
de las matematicas.
2
3
1
de las matematicas.
2
3
1
de las matematicas.
2
3
1
de las matematicas.
2
3
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
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
.
Cadenas o Palabras
denominan smbolos.
Ejemplo
.
Cadenas o Palabras
denominan smbolos.
Ejemplo
.
Cadenas o Palabras
denominan smbolos.
Ejemplo
.
Cadenas o Palabras
denominan smbolos.
Ejemplo
.
Cadenas o Palabras
denominan smbolos.
Ejemplo
.
Cadenas o Palabras
denominan smbolos.
Ejemplo
.
Denicion
La longitud de una cadena u
, denotada con |u|, se dene

como el n umero de smbolos de u, incluyendo smbolos repetidos.
Recursivamente se dene 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 smbolo a en
la cadena u.
Ejemplo
Sea = 0, 1 el alfabeto binario, entonces
|00| = 2, |101011| = 6, |001|
0
= 2, |001|
1
= 1.
Denicion

|u| =

0, si u =
|w| + 1, si u = wa
para todo a y u
.
Notaremos |u|
a
la cadena u.
Ejemplo
|00| = 2, |101011| = 6, |001|
0
= 2, |001|
1
= 1.
Denicion

|u| =

0, si u =
|w| + 1, si u = wa
para todo a y u
.
Notaremos |u|
a
la cadena u.
Ejemplo
|00| = 2, |101011| = 6, |001|
0
= 2, |001|
1
= 1.
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.
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.
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
.
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
.
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 se
tiene para toda cadena v
, entonces debemos probarla para

toda 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, |u
n
| = n|u|.
Ejemplo
, |uv| = |u| + |v|.


Ejemplo
y n 0, |u
n
| = n|u|.
Ejemplo
, |uv| = |u| + |v|.


Ejemplo
y n 0, |u
n
| = n|u|.
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
.
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
se tiene que Pref(u) = Suf(u)?.

La palabra en ingles antsy tiene la propiedad que todo prejo no
trivial es una palabra valida nuevamente en ingles. Encuentre otra
palabra en ingles con esta propiedad. Existe una palabra en
espa nol con esta propiedad?
que u = xvy.
Ejemplo
sujos de u.
Ejemplo
Para que cadenas u

que u = xvy.
Ejemplo
sujos de u.
Ejemplo
Para que cadenas u

que u = xvy.
Ejemplo
sujos de u.
Ejemplo
Para que cadenas u

que u = xvy.
Ejemplo
sujos de u.
Ejemplo
Para que cadenas u

Otras Propiedades
Teorema (Principio de Induccion para Cadenas)
Sea L
, el conjunto de todas las cadenas tales que L, y si

x L entonces xa L para todo a . Entonces, L =
.
Teorema (Lyndon-Sch utzenberger)
Sean x, y dos cadenas de L
, entonces las siguientes

armaciones son equivalentes:
1
xy = yx;
2
Existe una cadena z L, y enteros m, n 0, tales que x = z
m
y y = z
n
;
3
Existen enteros t, s 0 tales que las cadenas x
t
y y
s
tiene un
prejo com un de longitud |x| + |y|.
Otras Propiedades
Sea L

.

1
xy = yx;
2
m
y y = z
n
;
3
t
y y
s
tiene un
Otras Propiedades
Sea L

.

1
xy = yx;
2
m
y y = z
n
;
3
t
y y
s
tiene un
Otras Propiedades
Sea L

.

1
xy = yx;
2
m
y y = z
n
;
3
t
y y
s
tiene un
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 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.
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 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.
Topico de investigacion
Existen distintas formas de denir ordenes parciales sobre
cadenas.
Orden subcadena: Si x, y
entonces decimos que x y si y

solo si existen cadenas u, v
tales que uxv = y.

Orden lexicograco: Si = a
0
, a
1
, . . . , a
n1
entonces se
dene un orden total sobre , por ejemplo,
a
0
< a
1
< < a
n1
, y a su vez una relacion sobre
denida como, u v si y solo si |u| < |v| o u = wa

i
u
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.
cadenas.

tales que uxv = y.

0
, a
1
, . . . , a
n1
entonces se
a
0
< a
1
< < a
n1

i
u
y
v = wa
j
v
, para alg un w, u
, v
y i < j.
de w.
cadenas.

tales que uxv = y.

0
, a
1
, . . . , a
n1
entonces se
a
0
< a
1
< < a
n1

i
u
y
v = wa
j
v
, para alg un w, u
, v
y i < j.
de w.
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
Denicion
n 0 y cadenas u
i
, w
j

u = u
1
u
2
u
n
y w = w
1
u
1
w
2
u
2
w
n
u
n
w
n+1
.
como v w.
Teorema
Teorema
secuencia es nito
Denicion
n 0 y cadenas u
i
, w
j

u = u
1
u
2
u
n
y w = w
1
u
1
w
2
u
2
w
n
u
n
w
n+1
.
como v w.
Teorema
Teorema
secuencia es nito
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.
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.
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.
Denicion
Teorema
Corolario
nito.
Denicion
Teorema
Corolario
nito.
Sea = 0, 1, 2, . . . , 9 entonces denimos el lenguaje
Primos =
x
x representa un n umero primo escrito en base 10 y

Primos
n
=
x
x representa un n umero primo escrito en base n. El

objetivo es encontrar (Primos
n
) para algunas bases.
Teorema
(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
Sea = 0, 1, 2, . . . , 9 entonces denimos el lenguaje
Primos =
x
x representa un n umero primo escrito en base 10 y

Primos
n
=
x
x representa un n umero primo escrito en base n. El

objetivo es encontrar (Primos
n
) para algunas bases.
Teorema
(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
1
Primos
2
=
10, 11, 101, 111, 1011, 1101, 10001, 10011, 10111, 11101, 11111, 100101
(Primos
2
) = 10, 11
2
Primos
3
=
2, 10, 12, 21, 102, 111, 122, 201, 212, 1002, 1011, 1101, 1112, 1121, 1202
(Primos
3
) = 2, 10, 111.
3
Primos
4
=
2, 3, 11, 13, 23, 31, 101, 103, 113, 131, 133, 211, 221, 223, 233, ...
(Primos
4
) = 2, 3, 11.
4
Primos
5
=
2, 3, 10, 12, 21, 23, 32, 34, 43, 104, 111, 122, 131, 133, 142, ...
(Primos
5
) = 2, 3, 10, 111, 401.
5
Primos
6
=
2, 3, 5, 11, 15, 21, 25, 31, 35, 45, 51, 101, 105, 111, 115, ...
(Primos
6
) = 2, 3, 5, 11, 40041.
1
Primos
2
=
10, 11, 101, 111, 1011, 1101, 10001, 10011, 10111, 11101, 11111, 100101
(Primos
2
) = 10, 11
2
Primos
3
=
2, 10, 12, 21, 102, 111, 122, 201, 212, 1002, 1011, 1101, 1112, 1121, 1202
(Primos
3
) = 2, 10, 111.
3
Primos
4
=
2, 3, 11, 13, 23, 31, 101, 103, 113, 131, 133, 211, 221, 223, 233, ...
(Primos
4
) = 2, 3, 11.
4
Primos
5
=
2, 3, 10, 12, 21, 23, 32, 34, 43, 104, 111, 122, 131, 133, 142, ...
(Primos
5
) = 2, 3, 10, 111, 401.
5
Primos
6
=
2, 3, 5, 11, 15, 21, 25, 31, 35, 45, 51, 101, 105, 111, 115, ...
(Primos
6
) = 2, 3, 5, 11, 40041.
1
Primos
2
=
10, 11, 101, 111, 1011, 1101, 10001, 10011, 10111, 11101, 11111, 100101
(Primos
2
) = 10, 11
2
Primos
3
=
2, 10, 12, 21, 102, 111, 122, 201, 212, 1002, 1011, 1101, 1112, 1121, 1202
(Primos
3
) = 2, 10, 111.
3
Primos
4
=
2, 3, 11, 13, 23, 31, 101, 103, 113, 131, 133, 211, 221, 223, 233, ...
(Primos
4
) = 2, 3, 11.
4
Primos
5
=
2, 3, 10, 12, 21, 23, 32, 34, 43, 104, 111, 122, 131, 133, 142, ...
(Primos
5
) = 2, 3, 10, 111, 401.
5
Primos
6
=
2, 3, 5, 11, 15, 21, 25, 31, 35, 45, 51, 101, 105, 111, 115, ...
(Primos
6
) = 2, 3, 5, 11, 40041.
1
Primos
2
=
10, 11, 101, 111, 1011, 1101, 10001, 10011, 10111, 11101, 11111, 100101
(Primos
2
) = 10, 11
2
Primos
3
=
2, 10, 12, 21, 102, 111, 122, 201, 212, 1002, 1011, 1101, 1112, 1121, 1202
(Primos
3
) = 2, 10, 111.
3
Primos
4
=
2, 3, 11, 13, 23, 31, 101, 103, 113, 131, 133, 211, 221, 223, 233, ...
(Primos
4
) = 2, 3, 11.
4
Primos
5
=
2, 3, 10, 12, 21, 23, 32, 34, 43, 104, 111, 122, 131, 133, 142, ...
(Primos
5
) = 2, 3, 10, 111, 401.
5
Primos
6
=
2, 3, 5, 11, 15, 21, 25, 31, 35, 45, 51, 101, 105, 111, 115, ...
(Primos
6
) = 2, 3, 5, 11, 40041.
1
Primos
2
=
10, 11, 101, 111, 1011, 1101, 10001, 10011, 10111, 11101, 11111, 100101
(Primos
2
) = 10, 11
2
Primos
3
=
2, 10, 12, 21, 102, 111, 122, 201, 212, 1002, 1011, 1101, 1112, 1121, 1202
(Primos
3
) = 2, 10, 111.
3
Primos
4
=
2, 3, 11, 13, 23, 31, 101, 103, 113, 131, 133, 211, 221, 223, 233, ...
(Primos
4
) = 2, 3, 11.
4
Primos
5
=
2, 3, 10, 12, 21, 23, 32, 34, 43, 104, 111, 122, 131, 133, 142, ...
(Primos
5
) = 2, 3, 10, 111, 401.
5
Primos
6
=
2, 3, 5, 11, 15, 21, 25, 31, 35, 45, 51, 101, 105, 111, 115, ...
(Primos
6
) = 2, 3, 5, 11, 40041.
1
Primos
2
=
10, 11, 101, 111, 1011, 1101, 10001, 10011, 10111, 11101, 11111, 100101
(Primos
2
) = 10, 11
2
Primos
3
=
2, 10, 12, 21, 102, 111, 122, 201, 212, 1002, 1011, 1101, 1112, 1121, 1202
(Primos
3
) = 2, 10, 111.
3
Primos
4
=
2, 3, 11, 13, 23, 31, 101, 103, 113, 131, 133, 211, 221, 223, 233, ...
(Primos
4
) = 2, 3, 11.
4
Primos
5
=
2, 3, 10, 12, 21, 23, 32, 34, 43, 104, 111, 122, 131, 133, 142, ...
(Primos
5
) = 2, 3, 10, 111, 401.
5
Primos
6
=
2, 3, 5, 11, 15, 21, 25, 31, 35, 45, 51, 101, 105, 111, 115, ...
(Primos
6
) = 2, 3, 5, 11, 40041.
1
Primos
2
=
10, 11, 101, 111, 1011, 1101, 10001, 10011, 10111, 11101, 11111, 100101
(Primos
2
) = 10, 11
2
Primos
3
=
2, 10, 12, 21, 102, 111, 122, 201, 212, 1002, 1011, 1101, 1112, 1121, 1202
(Primos
3
) = 2, 10, 111.
3
Primos
4
=
2, 3, 11, 13, 23, 31, 101, 103, 113, 131, 133, 211, 221, 223, 233, ...
(Primos
4
) = 2, 3, 11.
4
Primos
5
=
2, 3, 10, 12, 21, 23, 32, 34, 43, 104, 111, 122, 131, 133, 142, ...
(Primos
5
) = 2, 3, 10, 111, 401.
5
Primos
6
=
2, 3, 5, 11, 15, 21, 25, 31, 35, 45, 51, 101, 105, 111, 115, ...
(Primos
6
) = 2, 3, 5, 11, 40041.
1
Primos
2
=
10, 11, 101, 111, 1011, 1101, 10001, 10011, 10111, 11101, 11111, 100101
(Primos
2
) = 10, 11
2
Primos
3
=
2, 10, 12, 21, 102, 111, 122, 201, 212, 1002, 1011, 1101, 1112, 1121, 1202
(Primos
3
) = 2, 10, 111.
3
Primos
4
=
2, 3, 11, 13, 23, 31, 101, 103, 113, 131, 133, 211, 221, 223, 233, ...
(Primos
4
) = 2, 3, 11.
4
Primos
5
=
2, 3, 10, 12, 21, 23, 32, 34, 43, 104, 111, 122, 131, 133, 142, ...
(Primos
5
) = 2, 3, 10, 111, 401.
5
Primos
6
=
2, 3, 5, 11, 15, 21, 25, 31, 35, 45, 51, 101, 105, 111, 115, ...
(Primos
6
) = 2, 3, 5, 11, 40041.
1
Primos
2
=
10, 11, 101, 111, 1011, 1101, 10001, 10011, 10111, 11101, 11111, 100101
(Primos
2
) = 10, 11
2
Primos
3
=
2, 10, 12, 21, 102, 111, 122, 201, 212, 1002, 1011, 1101, 1112, 1121, 1202
(Primos
3
) = 2, 10, 111.
3
Primos
4
=
2, 3, 11, 13, 23, 31, 101, 103, 113, 131, 133, 211, 221, 223, 233, ...
(Primos
4
) = 2, 3, 11.
4
Primos
5
=
2, 3, 10, 12, 21, 23, 32, 34, 43, 104, 111, 122, 131, 133, 142, ...
(Primos
5
) = 2, 3, 10, 111, 401.
5
Primos
6
=
2, 3, 5, 11, 15, 21, 25, 31, 35, 45, 51, 101, 105, 111, 115, ...
(Primos
6
) = 2, 3, 5, 11, 40041.
1
Primos
2
=
10, 11, 101, 111, 1011, 1101, 10001, 10011, 10111, 11101, 11111, 100101
(Primos
2
) = 10, 11
2
Primos
3
=
2, 10, 12, 21, 102, 111, 122, 201, 212, 1002, 1011, 1101, 1112, 1121, 1202
(Primos
3
) = 2, 10, 111.
3
Primos
4
=
2, 3, 11, 13, 23, 31, 101, 103, 113, 131, 133, 211, 221, 223, 233, ...
(Primos
4
) = 2, 3, 11.
4
Primos
5
=
2, 3, 10, 12, 21, 23, 32, 34, 43, 104, 111, 122, 131, 133, 142, ...
(Primos
5
) = 2, 3, 10, 111, 401.
5
Primos
6
=
2, 3, 5, 11, 15, 21, 25, 31, 35, 45, 51, 101, 105, 111, 115, ...
(Primos
6
) = 2, 3, 5, 11, 40041.
1
Primos
2
=
10, 11, 101, 111, 1011, 1101, 10001, 10011, 10111, 11101, 11111, 100101
(Primos
2
) = 10, 11
2
Primos
3
=
2, 10, 12, 21, 102, 111, 122, 201, 212, 1002, 1011, 1101, 1112, 1121, 1202
(Primos
3
) = 2, 10, 111.
3
Primos
4
=
2, 3, 11, 13, 23, 31, 101, 103, 113, 131, 133, 211, 221, 223, 233, ...
(Primos
4
) = 2, 3, 11.
4
Primos
5
=
2, 3, 10, 12, 21, 23, 32, 34, 43, 104, 111, 122, 131, 133, 142, ...
(Primos
5
) = 2, 3, 10, 111, 401.
5
Primos
6
=
2, 3, 5, 11, 15, 21, 25, 31, 35, 45, 51, 101, 105, 111, 115, ...
(Primos
6
) = 2, 3, 5, 11, 40041.
1
Primos
7
=
2, 3, 5, 10, 14, 16, 23, 25, 32, 41, 43, 52, 56, 61, 65, ...
(Primos
7
) = 2, 3, 5, 10, 14, 16, 41.
2
Primos
8
=
2, 3, 5, 7, 13, 15, 21, 23, 27, 35, 37, 45, 51, 53, 57, ...
(Primos
8
) =
2, 3, 5, 7, 111, 141, 161, 401, 661, 6101, 6441, ..??.
3
Primos
9
=
2, 3, 5, 7, 12, 14, 18, 21, 25, 32, 34, 41, 45, 47, 52, ...
(Primos
9
) = 2, 3, 5, 7, 14, 18, 41, 81.
1
Primos
7
=
2, 3, 5, 10, 14, 16, 23, 25, 32, 41, 43, 52, 56, 61, 65, ...
(Primos
7
) = 2, 3, 5, 10, 14, 16, 41.
2
Primos
8
=
2, 3, 5, 7, 13, 15, 21, 23, 27, 35, 37, 45, 51, 53, 57, ...
(Primos
8
) =
2, 3, 5, 7, 111, 141, 161, 401, 661, 6101, 6441, ..??.
3
Primos
9
=
2, 3, 5, 7, 12, 14, 18, 21, 25, 32, 34, 41, 45, 47, 52, ...
(Primos
9
) = 2, 3, 5, 7, 14, 18, 41, 81.
1
Primos
7
=
2, 3, 5, 10, 14, 16, 23, 25, 32, 41, 43, 52, 56, 61, 65, ...
(Primos
7
) = 2, 3, 5, 10, 14, 16, 41.
2
Primos
8
=
2, 3, 5, 7, 13, 15, 21, 23, 27, 35, 37, 45, 51, 53, 57, ...
(Primos
8
) =
2, 3, 5, 7, 111, 141, 161, 401, 661, 6101, 6441, ..??.
3
Primos
9
=
2, 3, 5, 7, 12, 14, 18, 21, 25, 32, 34, 41, 45, 47, 52, ...
(Primos
9
) = 2, 3, 5, 7, 14, 18, 41, 81.
1
Primos
7
=
2, 3, 5, 10, 14, 16, 23, 25, 32, 41, 43, 52, 56, 61, 65, ...
(Primos
7
) = 2, 3, 5, 10, 14, 16, 41.
2
Primos
8
=
2, 3, 5, 7, 13, 15, 21, 23, 27, 35, 37, 45, 51, 53, 57, ...
(Primos
8
) =
2, 3, 5, 7, 111, 141, 161, 401, 661, 6101, 6441, ..??.
3
Primos
9
=
2, 3, 5, 7, 12, 14, 18, 21, 25, 32, 34, 41, 45, 47, 52, ...
(Primos
9
) = 2, 3, 5, 7, 14, 18, 41, 81.
1
Primos
7
=
2, 3, 5, 10, 14, 16, 23, 25, 32, 41, 43, 52, 56, 61, 65, ...
(Primos
7
) = 2, 3, 5, 10, 14, 16, 41.
2
Primos
8
=
2, 3, 5, 7, 13, 15, 21, 23, 27, 35, 37, 45, 51, 53, 57, ...
(Primos
8
) =
2, 3, 5, 7, 111, 141, 161, 401, 661, 6101, 6441, ..??.
3
Primos
9
=
2, 3, 5, 7, 12, 14, 18, 21, 25, 32, 34, 41, 45, 47, 52, ...
(Primos
9
) = 2, 3, 5, 7, 14, 18, 41, 81.
1
Primos
7
=
2, 3, 5, 10, 14, 16, 23, 25, 32, 41, 43, 52, 56, 61, 65, ...
(Primos
7
) = 2, 3, 5, 10, 14, 16, 41.
2
Primos
8
=
2, 3, 5, 7, 13, 15, 21, 23, 27, 35, 37, 45, 51, 53, 57, ...
(Primos
8
) =
2, 3, 5, 7, 111, 141, 161, 401, 661, 6101, 6441, ..??.
3
Primos
9
=
2, 3, 5, 7, 12, 14, 18, 21, 25, 32, 34, 41, 45, 47, 52, ...
(Primos
9
) = 2, 3, 5, 7, 14, 18, 41, 81.
1
Primos
7
=
2, 3, 5, 10, 14, 16, 23, 25, 32, 41, 43, 52, 56, 61, 65, ...
(Primos
7
) = 2, 3, 5, 10, 14, 16, 41.
2
Primos
8
=
2, 3, 5, 7, 13, 15, 21, 23, 27, 35, 37, 45, 51, 53, 57, ...
(Primos
8
) =
2, 3, 5, 7, 111, 141, 161, 401, 661, 6101, 6441, ..??.
3
Primos
9
=
2, 3, 5, 7, 12, 14, 18, 21, 25, 32, 34, 41, 45, 47, 52, ...
(Primos
9
) = 2, 3, 5, 7, 14, 18, 41, 81.
Ejercicios
1
Si Pares = 2n n 0 = 0, 2, 4, 6, 8, 10, . . . entonces
(Pares)?.
2
Si Impares = 2n + 1 n 0 = 1, 3, 5, 7, 9, 11, . . . entonces
(Impares)?.
3
Si 2
n
= 2
n
n 0 = 1, 2, 4, 8, 16, . . . entonces (2
n
)?.
4
Si PerfectosP = n n es un n umero perfecto par =
6, 28, 496, 8128, . . . entonces (PerfectosP)?.
5
Si Fib = n n es un n umero de Fibonacci =
1, 2, 3, 5, 8, 13, . . . entonces (Fib)?.
Ejercicios
1
(Pares)?.
2
(Impares)?.
3
Si 2
n
= 2
n
n 0 = 1, 2, 4, 8, 16, . . . entonces (2
n
)?.
4
5
1, 2, 3, 5, 8, 13, . . . entonces (Fib)?.
Ejercicios
1
(Pares)?.
2
(Impares)?.
3
Si 2
n
= 2
n
n 0 = 1, 2, 4, 8, 16, . . . entonces (2
n
)?.
4
5
1, 2, 3, 5, 8, 13, . . . entonces (Fib)?.
Ejercicios
1
(Pares)?.
2
(Impares)?.
3
Si 2
n
= 2
n
n 0 = 1, 2, 4, 8, 16, . . . entonces (2
n
)?.
4
5
1, 2, 3, 5, 8, 13, . . . entonces (Fib)?.
Ejercicios
1
(Pares)?.
2
(Impares)?.
3
Si 2
n
= 2
n
n 0 = 1, 2, 4, 8, 16, . . . entonces (2
n
)?.
4
5
1, 2, 3, 5, 8, 13, . . . entonces (Fib)?.
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Concatenacion de Lenguajes Estrella de Kleene de un Lenguaje
Lenguajes
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.
Lenguajes
. Los
A, B, C, . . . L, M, N, . . ..
Ejemplo
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
= 0, 1, 2, 3, 4, 5, 6, 7, 8, 9.
L = u
Lenguajes
. Los
A, B, C, . . . L, M, N, . . ..
Ejemplo
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
= 0, 1, 2, 3, 4, 5, 6, 7, 8, 9.
L = u
Lenguajes
. Los
A, B, C, . . . L, M, N, . . ..
Ejemplo
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
= 0, 1, 2, 3, 4, 5, 6, 7, 8, 9.
L = u
Lenguajes
. Los
A, B, C, . . . L, M, N, . . ..
Ejemplo
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
= 0, 1, 2, 3, 4, 5, 6, 7, 8, 9.
L = u
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
, se escribe |A| al n umero de

cadenas en A.
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
, se escribe |A| al n umero de

cadenas en A.
La concatenacion de dos lenguajes A y B sobre , notada AB,
se dene como
AB = uv u A, v B
En general AB BA.
Ejemplo
Si = 0, 1, A = 0, 01, B = 1, 10, entonces
AB = 01, 010, 011, 0110 .
BA = 10, 101, 100, 1001 .
Ejemplo
Si = 0, 1, 2, A = 01, 12, B = 1
n
n 0, entonces
AB = 01
n
n 1 121
n
n 0.
BA = 1
n
01 n 0 1
n
2 n 1.
se dene como
AB = uv u A, v B
En general AB BA.
Ejemplo
Si = 0, 1, A = 0, 01, B = 1, 10, entonces
AB = 01, 010, 011, 0110 .
BA = 10, 101, 100, 1001 .
Ejemplo
Si = 0, 1, 2, A = 01, 12, B = 1
n
n 0, entonces
AB = 01
n
n 1 121
n
n 0.
BA = 1
n
01 n 0 1
n
2 n 1.
se dene como
AB = uv u A, v B
En general AB BA.
Ejemplo
Si = 0, 1, A = 0, 01, B = 1, 10, entonces
AB = 01, 010, 011, 0110 .
BA = 10, 101, 100, 1001 .
Ejemplo
Si = 0, 1, 2, A = 01, 12, B = 1
n
n 0, entonces
AB = 01
n
n 1 121
n
n 0.
BA = 1
n
01 n 0 1
n
2 n 1.
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).
Proposicion
1
A = A = .
2
A = A = A.
3
4
A(B C) = AB AC
(B C)A = BA CA
5
i
iI
es una familia
A
iI
B
i
=

iI
(AB
i
). |
iI
B
i
1A =

iI
(B
i
A).
Proposicion
1
A = A = .
2
A = A = A.
3
4
A(B C) = AB AC
(B C)A = BA CA
5
i
iI
es una familia
A
iI
B
i
=

iI
(AB
i
). |
iI
B
i
1A =

iI
(B
i
A).
Proposicion
1
A = A = .
2
A = A = A.
3
4
A(B C) = AB AC
(B C)A = BA CA
5
i
iI
es una familia
A
iI
B
i
=

iI
(AB
i
). |
iI
B
i
1A =

iI
(B
i
A).
Proposicion
1
A = A = .
2
A = A = A.
3
4
A(B C) = AB AC
(B C)A = BA CA
5
i
iI
es una familia
A
iI
B
i
=

iI
(AB
i
). |
iI
B
i
1A =

iI
(B
i
A).
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
La estrella de Kleene o simplemente estrella de un lenguaje A,
A
, es la union de todas las potencias de A y se denota por

A
.
A
=

i0
A
i
= A
0
A
1
A
2
A
n

Es decir que A
consta de todas las concatenaciones de cadenas de

A consigo mismas, de todas las formas posibles. Por lo tanto
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

A

A
.
A
=

i0
A
i
= A
0
A
1
A
2
A
n

Es decir que A

A
= u
1
u
2
u
n
u
i
A, n 0
denotada por A
+
.
A
+
=

i1
A
i
= A
1
A
2
A
n

A

A
.
A
=

i0
A
i
= A
0
A
1
A
2
A
n

Es decir que A

A
= u
1
u
2
u
n
u
i
A, n 0
denotada por A
+
.
A
+
=

i1
A
i
= A
1
A
2
A
n

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.
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.
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

Proposicion
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

Proposicion
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

Proposicion
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

Proposicion
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

Proposicion
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

Proposicion
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

Proposicion
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

Proposicion
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

El inverso de un lenguaje A sobre , notado A
R
, se dene como
A
R
= u
R
u A
Proposicion
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
)
+
.
R
, se dene como
A
R
= u
R
u A
Proposicion
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
)
+
.
R
, se dene como
A
R
= u
R
u A
Proposicion
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
)
+
.
R
, se dene como
A
R
= u
R
u A
Proposicion
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
)
+
.
R
, se dene como
A
R
= u
R
u A
Proposicion
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
)
+
.
R
, se dene como
A
R
= u
R
u A
Proposicion
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
)
+
.
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.
)
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.

(
))
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.

(
))
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.
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.
Ejercicios
1
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
3
3
.
4
Ejercicios
1
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
3
3
.
4
Ejercicios
1
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
3
3
.
4
Ejercicios
1
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
3
3
.
4
Ejercicios
1
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
3
3
.
4
Ejercicios
1
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
3
3
.
4
Ejercicios
1
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
3
3
.
4
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).
Ejercicios
1
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
1
y L
2
.
6 AB = A B.
2
1 A(B C) AB AC.
2 AB AC A(B C).
Ejercicios
1
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
1
y L
2
.
6 AB = A B.
2
1 A(B C) AB AC.
2 AB AC A(B C).
Ejercicios
1
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
1
y L
2
.
6 AB = A B.
2
1 A(B C) AB AC.
2 AB AC A(B C).
Ejercicios
1
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
1
y L
2
.
6 AB = A B.
2
1 A(B C) AB AC.
2 AB AC A(B C).
Ejercicios
1
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
1
y L
2
.
6 AB = A B.
2
1 A(B C) AB AC.
2 AB AC A(B C).
Ejercicios
1
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
1
y L
2
.
6 AB = A B.
2
1 A(B C) AB AC.
2 AB AC A(B C).
Ejercicios
1
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
1
y L
2
.
6 AB = A B.
2
1 A(B C) AB AC.
2 AB AC A(B C).
Ejercicios
1
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
1
y L
2
.
6 AB = A B.
2
1 A(B C) AB AC.
2 AB AC A(B C).
Ejercicios
1
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
1
y L
2
.
6 AB = A B.
2
1 A(B C) AB AC.
2 AB AC A(B C).
Alan Turing Cadenas o Palabras Lenguajes Lenguajes Regulares Automatas Finitos Deterministas (AFD) Ejercicios Gramaticas Expresiones Regulares Ejemplos de Lenguajes Regulares Ejercicios
Lenguajes Regulares
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
Lenguajes Regulares
Denicion
Sea un alfabeto:
1
2
A B Union
AB Concatenacion
A
estrella de Kleene
Lenguajes Regulares
Denicion
Sea un alfabeto:
1
2
A B Union
AB Concatenacion
A
estrella de Kleene
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
. As el lenguaje se puede escribir como:

A = 1
0 1
(ii) El lenguaje B de todas las cadenas que tienen un n umero

impar de smbolos:
B = [(0 1) (0 1)|
(0 1)
Lenguajes Regulares
Ejemplo
Sea = 0, 1. Los siguientes son lenguajes regulares sobre :
0: 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

impar de smbolos:
B = [(0 1) (0 1)|
(0 1)
1
Expresiones regulares basicas:
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 por

R, S; (R) (S) representa su concatenacion, y (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.
1
Expresiones regulares basicas:
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 por

R, S; (R) (S) representa su concatenacion, y (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.
Ejemplo
Los dos lenguajes del ejemplo 4.2 se pueden representar con
expresiones regulares de la siguiente manera:
0: A = 1
01
.
impar de smbolos:
B = [(0 1) (0 1)|
(0 1)
Ejemplo
Los dos lenguajes del ejemplo 4.2 se pueden representar con
expresiones regulares de la siguiente manera:
0: A = 1
01
.
impar de smbolos:
B = [(0 1) (0 1)|
(0 1)
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
Ejemplo
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
Ejemplo
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

Ejemplo
cadenas que tienen un n umero par de aes, denidas sobre el
alfabeto = a, b.
Solucion: Cualquier cadena en este lenguaje esta formada por
solo bes o es concatenacion de cadenas de la forma xayaz, donde
x, y, z b
.
(b
ab
ab
= (ab
a b

Ejemplo
cadenas que comienzan con a o terminan con b, denidas sobre el
alfabeto = a, b.
Solucion: a(a b)
(a b)
b
Ejemplo
cadenas que comienzan con a o terminan con b, denidas sobre el
alfabeto = a, b.
Solucion: a(a b)
(a b)
b
Ejemplo
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

Ejemplo
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

Ejemplo
cadenas que tienen por lo menos un 0 y por lo menos un 1,
denidas sobre el alfabeto = 0, 1.
Solucion: Cualquier cadena en este lenguaje contiene las
subcadenas 01 o 10 y recprocamente si una cadena contiene una
subcadena 01 o 10 entonces pertenece al lenguaje.
(0 1)
01
(0 1)
(0 1)
10
(0 1)
= (0 1)
(01 10)
(0 1)

Ejemplo
cadenas que tienen por lo menos un 0 y por lo menos un 1,
denidas sobre el alfabeto = 0, 1.
Solucion: Cualquier cadena en este lenguaje contiene las
subcadenas 01 o 10 y recprocamente si una cadena contiene una
subcadena 01 o 10 entonces pertenece al lenguaje.
(0 1)
01
(0 1)
(0 1)
10
(0 1)
= (0 1)
(01 10)
(0 1)

Ejemplo
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)
Ejemplo
cadenas que tienen a lo sumo dos ceros consecutivos, denidas
sobre el alfabeto = 0, 1.
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)
Ejemplo
cadenas que no tienen la subcadena 00, denidas sobre el alfabeto
= 0, 1.
las cadenas: 1, 01.
Este puede ser representado como: (01 1)
( 0)
Ejemplo
cadenas que no tienen la subcadena 00, denidas sobre el alfabeto
= 0, 1.
las cadenas: 1, 01.
Este puede ser representado como: (01 1)
( 0)
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.
Ejercicios
continuacion:
m ultiplo de tres.
Ejercicios
continuacion:
m ultiplo de tres.
Ejercicios
continuacion:
m ultiplo de tres.
Ejercicios
continuacion:
m ultiplo de tres.
Ejercicios
continuacion:
m ultiplo de tres.
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)
Ver Documento.
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)
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
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
entonces el diagrama de transicion tiene

una arista que va del vertice q al vertice q
y esta etiquetada con el

smbolo a. Este se representa como:
q
q
a
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.
Ejemplo
q
0
q
1
q
3
q
2
b b
b
a
a
a
a, b
Figura: Ejemplo 5.4.
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
w = bu, tal que |u|

a
0 mod 2
Denicion
Sea = (, Q, q
0
, F, ) un AFD, la funcion de transicion
Q Q se extiende a una funcion

Q
Q por
medio de la siguiente denicion recursiva
(q, ) = q,
(q, a) = (q, a),
(q, wa) = (
(q, w), a),

para todo q Q, a y w
.
Denicion
Sea = (, Q, q
0
, F, ) un AFD, entonces el lenguaje aceptado
por esta denido como L() = w

(q, w) F.
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.
Ejemplo
q
0
q
1
q
3
q
2
1 0
0
1
0
1
0, 1
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

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
Ejemplos de AFD
Ejemplo
Dise ne un AFD que acepte el lenguaje que contiene la subcadena
aa, sobre el alfabeto = a, b, c.
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
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
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
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
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
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
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

Ejemplos de AFD
Ejemplo
Describa el lenguaje aceptado por el automata sobre el alfabeto
= a, b que se muestra en el diagrama 9:
q
0
q
1
q
2
q
3
a
a
b
b
b
a
b
a
Ejemplos de AFD
Solucion: Una cadena w es aceptada por si y solo si tiene
una cantidad par de as y una cantidad par de bs. As:
L() = w
|w|
a
0 mod 2, |w|
b
0 mod 2
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.
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
Ejemplos de AFD
Ejemplo
tienen como prejo la cadena 010, sobre el alfabeto = 0, 1.
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
Ejemplos de AFD
Ejemplo
tienen como sujo la cadena 101, sobre el alfabeto = 0, 1.
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.
Ejemplos de AFD
Ejemplo
tienen como sujo la cadena 101, sobre el alfabeto = 0, 1.
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.
Ejemplos de AFD
q
0
q
1
q
2
q
3
0 1
1 0 1
0 0
1
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)
, cuales pertenecen a L().

q
0
q
1
q
2
q
3
q
4
q
5
0
1
0
11
1
1
0
0
1
0
0
1
Figura: AFD Ejercicio 1.
Ejercicios
Dise nar AFD que acepten los siguientes lenguajes:
1
= a, b. Lenguaje de las cadenas sobre que contienen
exactamente una a .
2
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
3
wb
2
w
.
Ejercicios
1
exactamente una a .
2
3
4
5
111.
6
ab
a.
7
3
wb
2
w
.
Ejercicios
1
exactamente una a .
2
3
4
5
111.
6
ab
a.
7
3
wb
2
w
.
Ejercicios
1
exactamente una a .
2
3
4
5
111.
6
ab
a.
7
3
wb
2
w
.
Ejercicios
1
exactamente una a .
2
3
4
5
111.
6
ab
a.
7
3
wb
2
w
.
Ejercicios
1
exactamente una a .
2
3
4
5
111.
6
ab
a.
7
3
wb
2
w
.
Ejercicios
1
exactamente una a .
2
3
4
5
111.
6
ab
a.
7
3
wb
2
w
.
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.
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.
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 GIC G = (V, , S, P) se dice

regular 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 la
derecha o regular por la izquierda, [3] .
Teorema
Un lenguaje es regular si y solo si es generado por una gramatica
regular.
Teorema de Kleene
Lenguajes
Regulares
Aut
omatas
Finitos
Gram
aticas
Regulares
Expresiones
Regulares
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.

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

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

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 Teora de la Computacion:

, denotada con |u|, se dene

, denotada con |u|, se dene

, denotada con |u|, se dene

, |uv| = |u| + |v|.

, entonces debemos probarla para

, |uv| = |u| + |v|.

, entonces debemos probarla para

, |uv| = |u| + |v|.

, entonces debemos probarla para

se tiene que Pref(u) = Suf(u)?.

se tiene que Pref(u) = Suf(u)?.

se tiene que Pref(u) = Suf(u)?.

se tiene que Pref(u) = Suf(u)?.

se tiene que Pref(u) = Suf(u)?.

, el conjunto de todas las cadenas tales que L, y si

, entonces las siguientes

, el conjunto de todas las cadenas tales que L, y si

, entonces las siguientes

, el conjunto de todas las cadenas tales que L, y si

, entonces las siguientes

, el conjunto de todas las cadenas tales que L, y si

, entonces las siguientes

, tal que ax = xb.

, tal que ax = xb.

entonces decimos que x y si y

tales que uxv = y.

denida como, u v si y solo si |u| < |v| o u = wa

entonces decimos que x y si y

tales que uxv = y.

denida como, u v si y solo si |u| < |v| o u = wa

entonces decimos que x y si y

tales que uxv = y.

denida como, u v si y solo si |u| < |v| o u = wa

x representa un n umero primo escrito en base 10 y

x representa un n umero primo escrito en base n. El

x representa un n umero primo escrito en base 10 y

x representa un n umero primo escrito en base n. El

, se escribe |A| al n umero de

, se escribe |A| al n umero de

, es la union de todas las potencias de A y se denota por

consta de todas las concatenaciones de cadenas de

, es la union de todas las potencias de A y se denota por

consta de todas las concatenaciones de cadenas de

, es la union de todas las potencias de A y se denota por

consta de todas las concatenaciones de cadenas de

Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas

Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas

Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas

Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas

Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas

Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas

Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas

Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas

Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas

. As el lenguaje se puede escribir como:

(ii) El lenguaje B de todas las cadenas que tienen un n umero

. As el lenguaje se puede escribir como:

(ii) El lenguaje B de todas las cadenas que tienen un n umero

(R S) representa la union de los lenguajes representados por

(R S) representa la union de los lenguajes representados por

Jose Luis Ramrez Ramrez Introduccion a la Teora de la Computacion: Lenguajes, Automatas