You are on page 1of 16

Teora de la Computacin para Ingeniera de Sistemas: un

enfoque prctico

Hilda Contreras
2 de mayo de 2011

ndice general
0.1. Propiedades cerradas y algoritmos de decisin . . . . . . . . . .
0.1.1. Lema del Bombeo o Potencias para Conjuntos Regulares
0.1.2. Propiedades de clausura de los Lenguajes regulares . . .
0.1.3. Algoritmos de decisin sobre conjuntos regulares . . . .
0.1.4. Preguntas y respuestas, ejercicios resueltos y propuestos
0.1.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

3
3
5
10
14

Propiedades cerradas y algoritmos de decisin

0.1.1.

Lema del Bombeo o Potencias para Conjuntos Regulares

Es un mtodo para demostrar que ciertos lenguajes NO son regulares. Si L es regular y M


= (Q,, ,q0 ,F) es un AFD y L = L(M) con cierto nmero de estados n.
b o , a1 a2 ...ai ) = qi para i = 1,2,...,m
Consideremos a1 , a2 , ...am , m n (m smbolos) y sea (q
(necesariamente se pasa por un estado 2 o ms veces). No es posible que todos los qi sean
distintos ya que solo hay n estados. Por lo tanto hay 2 enteros j y k, tal que 0 j < k n.
Si qm est en F, entonces a1 , a2 , ...am esta en L(M) pero tambin lo est a1 , a2 , ...aj (aj+1 ...ak )i ak+1 ...am
con i 0, i es el nmero de veces que se repite el ciclo o lazo de qj a qk .

Lema del Bombeo 0.1.1. Si L es un conjunto regular entonces hay una constante n tal que
para w en L y |w| n podemos escribir w = xyz tal que:
y = o |y| 1
|xy| n

Figura 1: Bombeando la cadena wi = xy i z


3

NDICE GENERAL

Para todo i entero, xy i z tambin pertenece a L


Es decir, siempre es posible encontrar una cadena no vacia y, no demasiado lejos del comienzo de w que se pueda "bombear"( repetir i veces ) y la cadena resultante pertenece tambin
al lenguaje L.
Se debe usar el lema para demostrar por contradiccin que un Lenguaje L no es regular,
de la siguiente forma:
1. Asumo que L es regular
2. Seleccionar un w adecuado que cumpla con las condiciones del lema y que est en L (
que dependa del valor n, constante del Lema ).
3. Bombear y salir de L ( conseguir una contradiccin, es decir encontrar un valor de i con
el cual bombear la cadena y se sale del lenguaje L )
4. Lo que se asume al principio es falso, por tanto el lenguaje L no es regular
Nota: el x,y,z no son jos, ni tienen longitudes jas slo estn limitados por las condiciones del
lema y la denicin del lenguaje.
Ejemplos: Dados los siguientes lenguajes desmostrar si son o no lenguajes regulares
L = { 0j 1j | j 0 }
Se asume que L es un Lenguaje Regular, y se aplica el Lema del Bombeo. Se selecciona
w = 0n 1n , que cumple con que w = xyz, |w| n y |xy| n
Se va a bombear la cadena y que esta en 0n por las condiciones del Lema, cumpliendo
con la siguiente desigualdad 1 |y| n. Por tanto, la cadena w quedara de la siguiente
forma:
w = 0n|y| 0|y| 1n , partiendo de que w = xyz, donde 0n|y| es la cadena x, 0|y| es la cadena
y, y el resto 1n es la cadena z
Para bombear solo hay que multiplicar por un valor de i a la potencia de la cadena
(wi = xy i z ), quedando de la siguiente forma: wi = 0n|y| 0|y|i 1n
Ahora debe conseguirse al menos un valor de i para el cual la cadena resultante no est
en el lenguaje. Se considera un valor de i = 2: 0n|y| 02|y| 1n = 0n|y|+2|y| 1n = 0n+|y| 1n
Para todos los valores posible de |y|, 1 |y| n, el w bombeado sale del lenguaje L, ya
que el nmero de ceros siempre es mayor que el nmero de unos (1 n |y| n n n).
Esto es una contradiccin ya que el nmero de ceros debe ser igual al nmero de unos
para todo i 0, por tanto lo que se asume al principio es falso y por tanto el lenguaje L
NO es Regular.
L = { XX | X en (a + b) }
Se asume que L es un Lenguaje Regular, y se aplica el Lema del Bombeo. Se selecciona
w = an ban b, que cumple con que w = xyz, |w| n y |xy| n
Se va a bombear la cadena y que esta en an por las condiciones del Lema, cumpliendo
con la siguiente desigualdad 1 |y| n. Por tanto, la cadena w quedara de la siguiente
forma:
w = an|y| a|y| ban b, partiendo de que w = xyz, donde an|y| es la cadena x, a|y| es la
cadena y, y resto ban b es la cadena z

0.1.

PROPIEDADES CERRADAS Y ALGORITMOS DE DECISIN

Para bombear solo hay que multiplicar por un valor de i a la potencia de la cadena
(wi = xy i z ), quedando de la siguiente forma: wi = an|y| a|y|i ban b
Ahora debe conseguirse al menos un valor de i para el cual la cadena resultante no est en
el lenguaje. Se considera un valor de i = 0: (w0 = xy 0 z ) por tanto w0 = an|y| a|y|0 ban b =
an|y| ban b
Para todos los valores posible de |y|, 1 |y| n, el w bombeado sale del lenguaje L, ya
que el la primera subcadena X = an|y| b siempre es diferente a la segunda subcadena X
= an b, por el nmero de smbolos a (los rangos son: n 1 n |y| n n). Esto es
una contradiccin ya que ambas subcadenas X deben ser iguales, para todo i 0, por
tanto lo que se asume al principio es falso y por tanto el lenguaje L NO es Regular.
0.1.2.

Propiedades de clausura de los Lenguajes regulares

Tambin llamadas operaciones cerradas, son aquellas que se aplican sobre los lenguajes
regulares y el resultado sigue siendo un lenguaje regular. Estas propiedades se pueden utilizar
para demostrar que un lenguaje es regular o no es regular

Teorema 0.1.1. Los conjuntos regulares son cerrados bajo unin, concatenacin y Clausura
de Kleene. Tambin son cerrados bajo:
Complemento
Interseccin
Diferencia
Reexin o reejo
Sustituciones, homomorsmo y homomorsmo inverso
Cociente de conjuntos arbitrarios
Para las operaciones de unin, concatenacin y clausura de Kleene son cerradas por denicin de las expresiones regulares. Para el resto de las operaciones es necesario ver como se
aplican sobre conjuntos regulares:
1.

2.

Los conjuntos regulares son cerrados bajo complemento

Sea L un lenguaje regular y L , entonces tambin - L es regular. Sea L tal que L =


L(M) con M = (Q,, , q0 ,F) donde M es AFD y sea L , asumimos el mismo alfabeto
para L y se construye el autmata M' tal que L(M') = L asi:// M' = (Q,, , q0 ,Q-F), M'
acepta a w si y solo si w est en - L. La gura 2.2 muestra un AFD y su complemento

Los conjuntos regulares son cerrados bajo interseccin


Por la ley de Morgan 1 , la interseccin se expresa en trminos de unin y complemento
por lo tanto la operacin de la interseccin es cerrada.

Ley de Morgan / Diagramas de Venn:

L1

L2 = L1

L2

NDICE GENERAL

Figura 2: Complemento de un AFD: Cadenas binarias que no tienen un nmero de 0s mltiplo


de 3

Figura 3: AFD de los lenguajes: L1 nmero impar de ceros y L2 nmero par de unos

Construccin de producto: Sea L1 = L(M1 ), M1 = (Q1 , , 1 , q1 , F1 ) y L2 = L(M2 ), M2 =


(Q2 , , 2 , q2 , F2 ), se construye M' = (Q1 xQ2 , , , [q1 , q2 ], F1 xF2 ), p1 en Q1 , p2 en Q2 y
a en , hacer ([p1 , p2 ], a) = [1 (p1 , a), 2 (p2 , a)]. Las siguientes guras: 2.3 muestran los
AFD de los lenguajes L1 nmero impar de ceros y L2 nmero par de unos, la Figura 2.4 la
interseccin de dos lenguajes L1 y L2 a travs de sus Autmatas nitos determinsticos,
y la Figura 2.5 muestra la tabla con la construccin de producto.

3.

Los conjuntos regulares son cerrados bajo diferencia


L1 y L2 son lenguajes regulares entonces L1 L2 tambin los son (conjunto de cadenas

Figura 4: AFD que reconoce el lenguajes de las cadenas binarias con un nmero impar de ceros
y un nmero par de unos (interseccin)

0.1.

PROPIEDADES CERRADAS Y ALGORITMOS DE DECISIN

Figura 5: Tabla de la Construccin de producto para obtener el AFD que reconoce el lenguajes
de las cadenas binarias con un nmero impar de ceros y un nmero par de unos (interseccin)
que pertenecen a L1 y no pertenecen a L2 ). Por teora de conjuntos, la diferencia2 puede
expresarse en terminos de interseccin y complemento las cuales son cerradas por tanto
la operacin de diferencia es cerrada.
4.

Los conjuntos regulares son cerrados bajo reeexin o reverso


Dada una cadena w = a1 , a2 , ...an su reexin se escribe al revs an , an1 , ...a1 . Se denota
wR la reeja (reverso) de w. Su construccin se puede dar a partir del AF y su ER:
Dado un Autmata A, se procede de la siguiente forma (ver gura):

Invertir todos los arcos del diagrama de A


Convertir el estado inicial de A en el nico de aceptacin
Crear un nuevo estado inicial p0 , con transiciones a todos los estados de
aceptacin de A.
La gura 2.6 muestra el AFD del lenguaje denotado por la expresin regular (bb*a)*aa*ba*
y su reejo.
Dado la Expresin regular que denota al lenguaje, se procede de la siguiente forma:

Caso Base:
L(E R ) = (L(E))R , E R = E , R = , aR = a.
Paso Inductivo:
E = E1 + E2 E R = E1R + E2R
E = E1 E2 E R = E2R .E1R
E = E1 E R = (E1R )
5.

Los conjuntos regulares son cerrados bajo Sustituciones, homomorsmo y homomorsmo inverso
La sustitucin (en conjuntos regulares) consiste en reemplazar o mapear los smbolos de
un lenguaje a un subconjunto de otro lenguaje (generalmente denotado por expresiones
regulares). Una sustitucin f es un mapeo de un alfabeto en un subconjunto de para

Diferencia de conjunto

L1 L2 = L

L2

NDICE GENERAL

Figura 6: AFD de (bb*a)*aa*ba* y el AFD con la operacin del reejo


algun alfabeto . La funcin f tambin puede extenderse a cadenas (por concatenacin):

a ) f () =
b ) f (xa) = f (x)f (a)

La funcin f tambin puede extenderse a lenguajes: f (L) = xenL f (x)


Por ejemplo: Suponga las siguientes funciones de sustitucin f(0) = a y f (1) = b . Los
alfabetos = {0,1} y ' = {a,b }, donde = a,b. Se aplica sobre cadenas en
:
f(010) = f(01).f(0) = f(01)a = f(0).f(1).a = ab a
f(1101) = b b a b = b a b
Dado un lenguaje L = 0 (0+1) 1 , se aplica f(L):
f(L) = a (a + b ) (b ) = a (a + b ) b
El homomorsmo, o sustituciones h, es un caso particular de sustitucin sobre funciones
(inyectiva y sobreyectiva 3 ) que mapean por cada smbolo a en una slo cadena en .
Es tambin llamado sustitucin uno a uno, su denicin es la siguiente:
h(x) = { h(x) | h(x) en , x en }
Por denicin h() = .
3

Dado una funcin h:A

B es imagen de alguno de A

B, h es

inyectiva

si

a1 = a2 , h(a1 ) = h(a2 );

h es

sobreyectiva

si todo elemento de

0.1.

PROPIEDADES CERRADAS Y ALGORITMOS DE DECISIN

La imagen homomorca inversa de un lenguaje L y de una cadena se dene como: h1 (L)


= { x | h(x) en L }
h1 (w) = { x | h(x) = w }
Por ejemplo: Dados los alfabetos = { 0,1 } y = { a, b }, donde se dene un conjunto
' = {aa, aba} , Se dene el homomorsmo h(0) = aa y h(1) aba, se tienen las
siguientes cadenas y lenguaje:
h(010) = aaabaaa

h1 (abaaa) = 10
L1 = (01) , h(L1 ) = (aaaba)
L2 = (ab + ba) a, h1 (L2 ) = 1, Se trata de buscar las cadenas en a las cuales se
les aplica el homomorsmo h y estan en L2 = {a, aba, baa, ababa, abbaa, baaba,
babaa,...}.
Los conjuntos regulares son cerrados bajo homomorsmo y homomorsmo inverso por
tanto se puede aplicar sobre los autmatas nitos. La construccin dado una funcin
homomorca, se aplica sobre un AFD M = (Q,, ,q0 ,F) que acepta L y sea h un homomorsmo de en (h : ) se construye una M' = (Q,, ',q0 ,F) donde '(q,a)
= (q,h(a)) para q en Q y a en .
Ejemplo: = { a,b } y = { 0, 1 }, L = (ab +ba) a
h: , h(0) = aa y h(1) = aba
M = ({q0 , q1 , q2 , q3 },, ,q0 ,{q1 })
M' = ({q0 , q1 , q2 , q3 },, ',q0 ,{q1 }) con h1 :
Cada transicin aplica la construccin, por ejemplo para '(q0 ,0) = (q0 ,h(0)) = (q0 ,aa)
= ( (q0 ,a),a) = (q1 ,a) = q3
Se puede usar cualquiera de estas propiedades de clausura para demostrar que un lenguaje NO es regular con el lema del bombeo. Por ejemplo si se quiere demostrar que
un lenguaje L no es regluar y es dicil aplicar el lema del bombeo entonces podemos
aplicarlo para el complemento, bajo sustitucin, etc. que no es regular y L tampoco lo
ser pues son operaciones cerradas. Las operaciones cerradas se utilizan para demostrar
que algo es regular o que no es regular. El homomorsmo se aplica para transformar algo
que no se conoce en algo conocido que se sabe que no es regular, por ejemplo: Demostrar
que {an ban |n 1} no es regular sabiendo que {0n 1n |n 1} no es regular.
{0n 1n |n 1} no es regular por el Lema del Bombeo. Para transformar an ban en 0n 1n
se realiza una reduccin con operaciones cerradas del lenguaje L = an ban a 0n 1n , de la
siguiente forma:
= { a,b }, = { 0, 1 } y ' = { x, y, z }
an ban = an baan1
Se dene el homomorrmo h1 : , asi: h1 (x) = a, h1 (y) = ba y h1 (z) = a.
1
n
n1 h1 (L)
Al aplicar el homomorsmo inverso h1
x yz =
1 queda h1 (L) = (x+z) y(x+z)
1
n
n1
x yz
.

10

NDICE GENERAL

Se dene el homomorsmo h2 : , asi: h2 (x) = 0, h2 (y) = 1 y h2 (z) = 1. Al


n n
n
n1 ) = 0n 11n1 = 0n 1n
aplicarlo h2 (h1
1 (L)) = 0 1 , ya que h2 ((x + z) y(x + z)
6.

Los conjuntos regulares son cerrados bajo Cociente de conjuntos arbitrarios

0.1.3.

Algoritmos de decisin sobre conjuntos regulares

Se debe recordar que el lenguaje tpico que interesa es innito, pues para los lenguajes
nitos (que son regulares) no hay ninguna complicacin para resolver problemas. Por tanto,
hacer una pregunta sobre alguna propiedad de un conjunto innito realmente no es posible, a
menos que se realice sobre su representacin nita"(AF o ER). Las siguientes propiedades se
pueden expresar como problemas de decisin:
1. Vacuidad: El lenguaje L es vaco?
2. Pertenencia: La cadena w pertenece al lenguaje L?
3. Equivalencia: Dos autmatas nitos reconocen el mismo lenguaje L?
Las preguntas anteriores se reeren al lenguaje, pero se trata de buscar un algorimo decidible
4 que d respuesta (si o no) al problema de decisin y por tanto no puede hacerse sobre
una estructura innita como el lenguaje. Para eso se muestran como pueden resolverse estos
problemas con un algoritmo decidible al utilizar el autmata nito o la expresin regular que
reconocen o denotan al lenguaje.

Vacuidad: El lenguaje L es vaco?


Se evalua la posibilidad de que L = sobre la representacin de L:
Si es un Autmata nito
Si existe algun camino desde q0 a un estado de aceptacion el lenguaje no es vacio. Caso
contrario (todos los estados de aceptacin estan desconectados) entonces el lenguaje L es
vacio. En teora de grafos existen varios algoritmos que permiten detectar caminos entre
un par de nodos (estado inicial y algunos de los estados nales) del grafo.
Si es una Expresin regular

Convertir la ER en un AFND con transiciones nulas y luego transformalo con la


construccin de subconjuntos en un AFD y proceder como se indica anteriormente.
Aplicar las siguientes reglas recursivas a la ER:
Base: denota el lenguaje vacio, no denotan al lenguaje vacio
Inductivo: R es una expresin regular y si:
1. R = R1 + R2 , entonces L(R) es vacio si y solo si L(R1 ) y L(R2 ) son vacio
2. R = R1 R2 , entonces L(R) es vacio si y solo si L(R1 ) es vacio o L(R2 ) es vacio
4

Un algoritmo decidible es un algoritmo que funciona para toda instancia del problema y que siempre

termina para dar una respuesta

0.1.

PROPIEDADES CERRADAS Y ALGORITMOS DE DECISIN

11

3. R = R1 , entonces L(R) no es vacio ya que siempre incluye por lo menos a la


cadena vacia
4. R = (R1 ), entonces L(R) es vacio si y solo si R1 es vacio.

Pertenencia: La cadena w pertenece al lenguaje L?


Dada una cadena w en y un lenguaje L, cmo determinar si w pertenece a L?. La
cadena w se representa explicitamente pues es de tamao nito. El lenguaje L se representa a
travs de una ER o de un AF, que son modelos nitos de lenguajes regulares. Si se tiene el AFD
que reconoce el lenguaje se simula el funcionamiento al recibir la cadena w comenzando desde
q0 , si naliza en un estado de aceptacin la respuesta es si y en caso contrario la respuesta es
no. Si se trata de un AFND- se puede aplicar el algoritmo de backtracking para llevar las
multiples opciones en la ejecucin.

Equivalencia: Dos autmatas nitos reconocen el mismo lenguaje L?


Comprobacin de estados equivalentes

Dos estados p y q son equivalentes si para todo


w en , b(p,w) y b(q,w) estan en un estado de aceptacin (no necesariamente el mismo
estado). Dos estados p y q son estados equivalentes si llego a un estado nal rocesando
la misma cadena w en ambos casos, por lo que decimos que no hay ninguna distincin
haber estado en q o haber estado en p. Si dos estados no son equivalentes decimos que
son distinguibles. Entonces p es distinguible de q si existe por lo menos una cadena w tal
que b(p,w) es un estado de aceptacin y b(q,w) no es un estado de aceptacin y viceversa.

Algoritmo para buscar pares de estados distinguibles recursivamente


Arranca de un AFD

Precondicin =

b ) = p
1. Para p en F y q en Q-F marque (p,q) como distinguible. Recordar que (p,
por denicin para todo p en Q, por tanto si p esta en F y q esta en Q-F entonces
son distinguibles porque la cadena vaca los distingue.
2. Para cada par (p,q) en FxF o en (Q-F)x(Q-F), no marcado como distinguible hacer:
Si para algn a en , el par ( (p,a), (q,a)) esta marcado entonces marque (p,q).
Recursivamente marque todos los pares en la lista asociada a (p,q).
En caso contrario (no hay ningn par marcado), entonces colocar (p,q) en la
lista de ( (p,a), (q,a)) excepto cuando (p,a) = (q,a) para todo a en .
Ejemplo: Dado el siguiente AFD Figura 2.7 se muestra la tabla de estados distinguibles
en la gura 2.8.

Utilidad de la tabla de estados distinguibles

Comprobacin de la equivalencia de
lenguajes regulares Dado 2 lenguajes L y M se llevan sus representaciones a un
AFD. Se aplica el algoritmo para determinar los estados distinguibles a la unin de
los estados de los dos autmatas. Luego se prueba si los estados iniciales de ambos
AFD originales son equivalentes. Si son equivalentes entonces L = M y en caso contrario L = M. Por ejemplo ver gura 2.9

12

NDICE GENERAL

Figura 7: AFD para aplicar el algoritmo de estados distinguibles

Figura 8: Tabla de estados distinguibles

0.1.

PROPIEDADES CERRADAS Y ALGORITMOS DE DECISIN

13

Figura 9: AFD para aplicar el algoritmo de estados distinguibles


Los estados iniciales son A y C, el par (A,C) no es distinguible por lo tanto es
equivalente, es decir ambos autmatas reconocen el mismo lenguaje. Tambin es
posible determinar si dos autmatas son equivalentes (aceptan el mismo lenguaje)
por las propiedades de los lenguajes regulares: Sean M1 y M2 dos
AFD que
aceptan

L1 y L2 respectivamente, se puede construir un M3 que acepte (L1 L2 ) (L1 L2 )


si L(M3) = entonces L1 = L2 .
Minimizacin de un AFD
El AFD mnimo es nico para cada lenguaje. Existe un algoritmo para construir el
AFD mnimo a partir de la tabla de estados dinguibles:
1. Eliminar cualquier estado que no sea accesible desde el estado inicial
2. Se agrupan los estados equivalentes, es decir se crean a partir de las particiones.
3. Construir el autmata mnimo utilizando las particiones como estados y las
transiciones entre las particiones como las de uno de los estados de cada particin para todo a en .
Sea un AFD M = (Q,, ,q0 ,F) tal que L(M) es un conjunto regular. Se establece la
relacin de equivalencia (reexiva, simtrica y transitiva) denida sobre los estados de
b w) est en F, si y solo si (q,
b w)
M, tal que p q si y solo si Para todo w en , (p,
est en F.
En el ejemplo de la Figura 2.7 las clases de equivalencia son: [e,a], [h,b], [f,d], [c] y [g], el
AFD mnimo puede verse en la Figura 2.10. En el ejemplo 2.9 las clases de equivalencia
son: [A,D,C] y [B,E].

14

NDICE GENERAL

Figura 10: AFD Mnimo


0.1.4.

Preguntas y respuestas, ejercicios resueltos y propuestos

Ejercicios propuestos
1. Contestar verdadero (V) o falso (F):

a ) Si un autmata nito pudiera tener innitos estados entonces podra reconocer


lenguajes NO regulares.

b ) El lenguaje L generado por el alfabeto binario tal que sus cadenas son de la forma
0n 1k donde n,k 0, es un lenguaje NO regular.

c ) Si la aplicacin del Lema del Bombeo para lenguajes regulares falla (no hay contradiccin para todas las cadenas) entonces el Lenguaje es regular.

d)
e)
f)
g)
h)

Los autmatas nitos con salida pueden procesar lenguajes NO regulares.


Todo subconjunto de un lenguaje regular es regular
Si L es regular, tambin lo es el lenguaje formado por { w, w en L y wR en L }
La unin o interseccin de dos lenguajes NO regulares no puede ser regular
Si L es cualquier lenguaje, no necesariamente regular, con un alfabeto de un solo
smbolo entonces L* es regular.

2. Demuestre si los siguientes lenguajes son o no regulares:


{ wwR | w en (a+b)* } R = reverso
{ 0n 1m | n m }
{ 1n w | w en (0+1)*, n 1 }
{ xx | x en (0+1)* }
{ 0j | j = i2, i 0 }

0.1.

PROPIEDADES CERRADAS Y ALGORITMOS DE DECISIN

15

{ai bj ak | k >i + j ; k,j,i 0 }


{ x | x en (a + b + c)* y Na (x) <Nb (x) y Na (x) <Nc (x) } Donde el Na (x) es el
nmero de veces que el smbolo a aparece en la cadena x
{ w | w en (a + b)* y tiene una cantidad de a's divisible por 3 }
{ w | w en (a + b)* y el nmero de as = nmero de bs }
3. Dado dos lenguajes regulares L1 y L2 diga y justique si es posible tener un algoritmo
para las siguientes preguntas:

a)
b)
c)
d)
e)

Determinar si existe alguna cadena w en que no pertenezca ni a L1 ni a L2 .


L1 y L2 son uno el complemento del otro?
L1 = L2 ?
L1 = Prejo(L2 )?
L1 = L2 ?

4. Explique como encontrara un algoritmo de decisin para determinar, si dado dos AF


M1 y M2 existen cadenas que no sean aceptadas por ninguno de ellos?
5. Escriba un algoritmo de "decisin"que dada una expresin regular R para denotar a un
lenguaje regular L en el alfabeto ?, determinar si L = ?
6. Encuentre los autmatas nitos con un nmero de estados mnimo (usando el algoritmo
de la tabla de estados distinguibles) que acepten el mismo lenguaje de cada uno de los
autmatas de la gura 11

16

NDICE GENERAL

Figura 11: Diagramas de transicin de AFD para minimizar