Identidades

u = u =
u = u = u

*
=

*
=
u+v = v+u
u+ = u
u+u = u
u
*
= u
*
u
*
= (u
*
)
*

u(v+w) = uv + uw
(u+v)w = uw+vw
(uv)
*
u = u(vu)
*

(u+v)
*
= (u
*
+v)
*
= u
*
(u+v)
*
= (u+vu
*
)
*
= (u
*
v
*
)
*
= u
*
(vu
*
)
*
= (u
*
v)
*
u
*

u
*
(u + ) = u
*

u*u* = u*
u
*
+ v
*
= v
*
+ u
*

(u
*
v
*
)
*
= (u + v)
*
= (u + v)
*
uv(u + v)
*
+ v
*
u
*



Simplificar expresiones regulares
Simplificar la ER t = a + a (b + aa) (b*aa)* b* + a (aa + b)*.
Aplicando las propiedades de las expresiones regulares, podemos obtener una ER equivalente
con tan solo 4 operadores:

a + a (b + aa) (b*aa)* b* +a (aa + b)* (Propiedad 15)
a + a (b + aa) (b + aa)* +a (aa + b)* (Propiedad 8)
a( + (b + aa) (b + aa)* ) + a (aa + b)* (Propiedad 13)
a( b + aa )* + a (aa + b)* (Propiedad 2)
a (aa + b)* + a (aa + b)* (Propiedad 4)
a (aa + b)*

Simplificar la expresin regular : 1*O1*O (O1*O1*O + 1)* O1* + 1* de forma que slo aparezca un
operador +.
1*O1*O (O1*O1*O + 1)* O1* + 1* (Propiedad 15)
1*O1*O (1* O1*O1*O)* 1* O1* + 1* (Propiedad 16)
(1*O1*O 1*O)* 1*O1*O1*O1* + 1* (Propiedad 8)
((1*O1*O1*O)* 1*O1*O1*O + ) 1* (Propiedad 13)
(1* O1*O1*O)* 1* (Propiedad 15)
(1 + O1*O1*O)*




Expresiones regulares
L = {a, b}
*
{bb} {a, b}
*

Consiste de las cadenas sobre {a, b} que contienen la subcadena bb.
Lenguaje que consiste de todas las cadenas que empiezan con aa o terminan con bb.
L = {aa}{a, b}
*
{a, b}
*
{bb}
L
1
= {bb} y L
2
= {, bb, bbbb}. L
1
*
= ?, L
2
*
= ?
Tanto L
1
*
como L
2
*
consisten de cadenas que tienen un nmero par de bs.
{aa, bb, ab, ba}
*

Consiste de todas las cadenas sobre {a, b} de longitud par.
{a, b}
*
- {aa, bb, ab, ba}
*

Es el lenguaje que consiste de las cadenas de longitud non.
Es regular este lenguaje?
Este lenguaje tambin est dado por {a, b}{aa, bb, ab, ba}
*
,por lo tanto el lenguaje
s es regular.
{a, b}
*
{bb}{a, b}
*
es regular sobre {a, b}
Consiste del conjunto de cadenas que contienen a la subcadena bb.
El conjunto de cadenas que empiezan y terminan con una a y contienen al menos una b
es regular sobre {a, b}.
{a}{a, b}
*
{b}{a, b}
*
{a}
(a+b)
*
aa(a+b)
*
+(a+b)
*
bb(a+b)
*
:
Representa al conjunto de cadenas sobre {a, b} que contienen a la subcadena aa o
a la subcadena bb o a ambas subcadenas.
Expresin regular que represente al conjunto de cadenas sobre {a, b} que contienen
exactamente dos bs:
a
*
ba
*
ba
*

a
*
ba
*
b(a+b)
*
, (a+b)
*
ba
*
ba
*
, (a+b)
*
b(a+b)
*
b(a+b)
*

representan al conjunto de cadenas sobre {a, b} que contienen dos o ms bs.
a
*
(a
*
ba
*
ba
*
)
*
y a
*
(ba
*
ba
*
)
*

Representan cadenas con un nmero par de bs.
Expresin regular para el lenguaje sobre {a, b} en cuyas palabras inmediatamente antes
de toda b aparece una a:
(a+ab)
*
.
Expresin regular que representa a las palabras que contienen exactamente una vez dos
bs contiguas:
(ba+bc+a+c)
*
bb(a+c+ab+cb)
*

Escriba una expresin regular para el lenguaje sobre {0 ,1} que consiste de las palabras
en las que no hay dos smbolos iguales contiguos, es decir, los 0s y los 1s se alternan.
(01)
*
+ (10)
*
+ 0(10)
*
+ 1(01)
*

( + 1)(01)*( + 0)
( + 0)(10)*( + 1)




Expresin que representa las cadenas sobre {a, b} que no contienen la subcadena aa:
b
*
(ab
+
)
*
+b
*
(ab
+
)
*
a =
b
*
(ab
+
)
*
(+a) =
b
*
(abb
*
)
*
(+a) =
(b+ab)
*
(+a)
Expresin regular que representa las cadenas sobre {a, b, c} que contienen la subcadena
bc:
(a+b+c)
*
bc(a+b+c)
*

c
*
(b+ac
*
)
*

Representa las cadenas que no contienen la subcadena bc.
Cadenas sobre {0, 1} de longitud igual a 6:
(0 + 1)(0 + 1)(0 + 1)(0 + 1)(0 + 1)(0 + 1) = (0 + 1)
6

Cadenas sobre {0, 1} de longitud mayor o igual a 6:
(0 + 1)(0 + 1)(0 + 1)(0 + 1)(0 + 1)(0 + 1)(0 + 1)
*
= (0 + 1)
6
(0 + 1)
*

Cadenas sobre {0, 1} de longitud menor o igual a 6:
(0 + 1 + )(0 + 1 + )(0 + 1 + )(0 + 1 + )(0 + 1 + )(0 + 1 + )
= (0 + 1 + )
6

Obtenga una expresin regular para el conjunto de palabras sobre {a, b, c} que tienen al
menos una a y al menos una b.
c
*
a(a + c)
*
b(a + b + c)
*
+ c
*
b(b + c)
*
a(a + b + c)
*

Obtenga una expresin regular para el lenguaje sobre {0 , 1} que consiste de las palabras
cuyo dcimo smbolo contado de la derecha a la izquierda es un 1.
(0+1)
*
1(0+1) (0+1) (0+1) (0+1) (0+1) (0+1) (0+1) (0+1) (0+1)
= (0 + 1)
*
1(0 + 1)
9



Expresin regular a autmata
Dar una ER que denote el lenguaje consistente de: al menos dos ceros precedidos por cualquier
nmero de 0s seguidos por cualquier nmero de 1s.
Primero podemos desarrollar una ER para 0 y para 0 que denotan los lenguajes {0} y {0}
respectivamente. Si concatenamos las dos expresiones 00, obtenemos el lenguaje {00}.
Veamos ahora como construir el resto, cualquier nmero de 0s lo podemos escribir como 0 y lo
mismo para cualquier nmero de 1s, 1 y ahora debemos describir la concatenacin 0 1 .
La expresin regular completa es: 0*1* 00

Dado el lenguaje descrito por la expresin regular (ab)*a, un AFND que acepta dicho lenguaje es
el siguiente:

Sea el autmata finito A1, donde E={a,b} u {}; Q={q1,q2,q3,q4} y la funcin f viene dada por la
siguiente tabla y el conjunto de estados finales es f={q3}
f a b
q1 q2 q4
q2 q2 q3
q3 q4 q3
q4 q4 q4

Determinar el lenguaje que reconoce, representar el diagrama de Moore e indicar la expresin
regular que representa al lenguaje.
Solucin:
Se construye el diagrama de Moore, colocando en primer lugar todos los estados dentro del
crculo, marcando con doble circulo el estado final. El estado inicial se indica con una flecha que lo
seala con la palabra INICIO encima.
Para construir las ramas, nos situamos en el primer estado de la tabla de transiciones y se observa
que:
f(q1,a) =q2
Entonces se traza la flecha q1 y q2, apuntando a q2 y se coloca encima de la flecha el smbolo del
vocabulario de entrada a. De igual forma se recorre la tabla de transiciones para cada estado y
entrada completndose el diagrama de moore.


Sea ={a, b}, Q = {0, 1, 2}, q
0
=0, F = {2}, y viene definida as:
Se define el diagrama de transiciones de dicho autmata como un grafo dirigido, en el que los
estados se representan por nodos, las transiciones por flechas, de tal manera que dicho grafo
satisface la definicin de la funcin de transicin
Qi/ a b
0 1 0
1 2 0
2 2 2

En este caso el autmata de la funcin sera:
(0, a) = 1, (0, b) = 0, (1, a) = 2,
(1, b)=0, (2, a) = 2, (2, b)=2
Ntese que para todos los smbolos del alfabeto, existe una transicin de algn estado.
Sabiendo esto, el anterior autmata quedara representado as

Hacer el autmata que reconozca este lenguaje: (a|b)aba*

En este diagrama de transiciones, se ve que se ha omitido un estado de muerte, porque por
ejemplo el estado 1 no tiene transicin con el smbolo "b", y va a parar a dicho estado de muerte.
Igual pasa con el estado 2 y el smbolo "a", y el estado 3 con el smbolo "b"

Hacer el diagrama de transiciones con esta definicin del autmata:
Q={0,1,2,3}
={a, b}
q 0 =0
F={0, 1, 2}


Como vemos, el estado 3 es un estado de muerte y poda haberse omitido.
Este autmata, por ejemplo, acepta combinaciones de cadenas que no tengan 3 "b seguidas.

Suponiendo ={0, 1}, dibujar los diagramas de transicin que reconozcan.
Cadenas terminadas en 00


Cadenas con dos "unos" consecutivos.


Cadenas que no contengan dos "unos" consecutivos.

Cadenas con dos "ceros" consecutivos o dos "unos" consecutivos.

Cadenas con dos "ceros" consecutivos y dos "unos" consecutivos.

Cadenas acabadas en 00 o 11.




Cadenas con un "uno" en la antepenltima posicin.

Cadenas de longitud 4.