Resuelva los siguientes enunciados de Expresiones Regulares

1. Dada la cadena w1=abcde y la cadena w2=klm

a) ¿A qué equivale la cadena abcdeklm?
- 𝑤1 . 𝑤2
b) ¿A qué equivale la cadena abcdeabcdeklm?
- 𝑤1 . 𝑤1 . 𝑤2
c) ¿A qué equivale la caden aabdceabcdeklmklm?
- 𝑎. 𝑎. 𝑏. 𝑑. 𝑐. 𝑒. 𝑤1 . 𝑤2 . 𝑤2
d) ¿A qué equivale la cadena abcdeedcbaklmmlk?
- 𝑤1 . 𝑤̂1 . 𝑤2 . 𝑤
̂2

2. Probar que:
(b U aa*b) U (b U aa*b)(a U ba*b)*(a U ba*b) = a*b(a U ba*b)
(𝑏 ∪ 𝑎𝑎∗ 𝑏) ∪ (𝑏 ∪ 𝑎𝑎∗ 𝑏)(𝑎 ∪ 𝑏𝑎∗ 𝑏)∗ = 𝑎∗ 𝑏(𝑎 ∪ 𝑏𝑎∗ 𝑏)
((𝜆 ∪ 𝑎𝑎∗ )𝑏) ∪ ((𝜆 ∪ 𝑎𝑎∗ )𝑏)(𝑎 ∪ 𝑏𝑎∗ 𝑏)∗ = 𝑎∗ 𝑏(𝑎 ∪ 𝑏𝑎∗ 𝑏)
(𝜆 ∪ 𝑎+ )𝑏 ∪ (𝜆 ∪ 𝑎+ )𝑏(𝑎 ∪ 𝑏𝑎∗ 𝑏)∗ = 𝑎∗ 𝑏(𝑎 ∪ 𝑏𝑎∗ 𝑏)
(𝜆 ∪ 𝑎+ )𝑏(𝜆 ∪ (𝑎 ∪ 𝑏𝑎∗ 𝑏)∗ ) = 𝑎∗ 𝑏(𝑎 ∪ 𝑏𝑎∗ 𝑏)
𝑎∗ 𝑏(𝑎 ∪ 𝑏𝑎∗ 𝑏)∗ = 𝑎∗ 𝑏(𝑎 ∪ 𝑏𝑎∗ 𝑏)

3. Sea el vocabulario V={1,2}. Indique cinco de las cadenas más cortas pertenecientes a
V* y V+.
- 𝑉 ∗ = {𝜆, 1,2,11,12,21,22,111,112, … }
- 𝑉 + = {1,2,11,12,21,22,111,112, … }

4. Sean los vocabularios V={i,x} y W={i,v,c}. Defina por extensión:

a) V3
- 𝑉 3 = {𝑖𝑖𝑖, 𝑖𝑖𝑥, 𝑖𝑥𝑖, 𝑖𝑥𝑥, 𝑥𝑖𝑖, 𝑥𝑖𝑥, 𝑥𝑥𝑖, 𝑥𝑥𝑥}
b) W*
- 𝑊 ∗ = {𝜆, 𝑖, 𝑣, 𝑐, 𝑖𝑖, 𝑖𝑣, 𝑖𝑐, 𝑣𝑖, 𝑣𝑣, 𝑣𝑐, 𝑐𝑖, 𝑐𝑣, 𝑐𝑐, 𝑖𝑖𝑖, 𝑖𝑖𝑣, 𝑖𝑖𝑐, 𝑖𝑣𝑖, … }
c) V.W
- 𝑉. 𝑊 = {𝑖𝑖, 𝑖𝑣, 𝑖𝑐, 𝑥𝑖, 𝑥𝑣, 𝑥𝑐}

5. Dadas las cadenas x=2000 y y=compiladores, defina:

a) xRy (R= reversa)
- 𝑥̂𝑦 = 0002𝑐𝑜𝑚𝑝𝑖𝑙𝑎𝑑𝑜𝑟𝑒𝑠
b) yλx
- 𝑦𝜆𝑥 = 𝑐𝑜𝑚𝑝𝑖𝑙𝑎𝑑𝑜𝑟𝑒𝑠𝜆2000
c) x2
- 𝑥 2 = 𝑐𝑜𝑚𝑝𝑖𝑙𝑎𝑑𝑜𝑟𝑒𝑠𝑐𝑜𝑚𝑝𝑖𝑙𝑎𝑑𝑜𝑟𝑒𝑠

6. Dado V={1,2}, indicar si las siguientes afirmaciones son Verdaderas o Falsas, justifique
brevemente su respuesta:
a) La cadena 122 ϵ V2
- 𝐸𝑠 𝑓𝑎𝑙𝑠𝑜, 𝑝𝑜𝑟𝑞𝑢𝑒 𝑙𝑎 𝑐𝑎𝑑𝑒𝑛𝑎 122 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑒 𝑎 𝑉 3 , 𝑚𝑖𝑒𝑛𝑡𝑟𝑎𝑠 𝑞𝑢𝑒
𝑉 2 = {11,12,21,22}
b) V2∩V3 = V
- 𝐸𝑠 𝑓𝑎𝑙𝑠𝑜, 𝑝𝑜𝑟𝑞𝑢𝑒 𝑛𝑜 𝑡𝑖𝑒𝑛𝑒𝑛 𝑒𝑙𝑒𝑚𝑒𝑛𝑡𝑜𝑠 𝑒𝑛 𝑐𝑜𝑚ú𝑛 𝑦𝑎 𝑞𝑢𝑒
 𝑉 2 = {11,12,21,22}
3
𝑉 = {111,121,211,221,112,122,212,222} 𝑦
𝑉2 ∩ 𝑉3 = { }
𝑝𝑜𝑟 𝑙𝑜 𝑡𝑎𝑛𝑡𝑜 𝑉 2 ∩ 𝑉 3 ≠ 𝑉
c) λ ϵ V
- 𝐸𝑠 𝑓𝑎𝑙𝑠𝑜, 𝑝𝑜𝑟𝑞𝑢𝑒 𝑉 = {1,2} 𝑦 𝑛𝑜 𝑐𝑜𝑛𝑡𝑖𝑒𝑛𝑒 𝜆

7. Sean los vocabularios V={a,b} y W={0,1,2}. Defina por extensión:

a) W2
- 𝑊 2 = {00,01,02,10,11,12,20,21,22}
b) W*
- 𝑊 ∗ = {𝜆, 0,1,2,00,01,02,10,11,12,20,21,22,000,001, … }
c) V.W
- 𝑉. 𝑊 = {𝑎0, 𝑎1, 𝑎2, 𝑏0, 𝑏1, 𝑏2}

8. Para cada lenguaje, dar 3 ejemplos de cadenas pertenecientes a los mismos.

a) L = {x / x ϵ (00)i, i>1}
- 𝑖 = 1, 𝑥 = 00
𝑖 = 2, 𝑥 = 0000
𝑖 = 3, 𝑥 = 000000
𝐿 = {00,0000,000000}
b) M = {aibic / i≥0}
- 𝑖 = 0, 𝑎𝑖 = 𝜆, 𝑏𝑖 = 𝜆
𝑖 = 1, 𝑎𝑖 = 𝑎, 𝑏𝑖 = 𝑏
𝑖 = 2, 𝑎𝑖 = 𝑎𝑎, 𝑏 𝑖 = 𝑏𝑏
𝐿 = {𝑐, 𝑎𝑏𝑐. 𝑎𝑎𝑏𝑏𝑐}
c) N = {wz / z ϵ ((10)i)R, w ϵ (ab)i, i≥0}
- 𝑖 = 0, 𝑤 𝑖 = 𝜆, 𝑧 𝑖 = 𝜆
𝑖 = 1, 𝑤 𝑖 = 𝑎𝑏, 𝑧 𝑖 = 01
𝑖 = 2, 𝑤 𝑖 = 𝑎𝑏𝑎𝑏, 𝑧 𝑖 = 0101
𝑁 = {𝜆, 𝑎𝑏01, 𝑎𝑏𝑎𝑏0101}

9. Describa el lenguaje aceptado por el AFD representado por el diagrama de transición

de la figura siguiente:

- Puesto que el estado 𝑞2 no es un estado final entonces este estado no se lo

toma en cuanta. Por lo que se tiene que la concatenación de “a” con “b”, la
cual se repite cero o más veces. 𝐸𝑅 = (𝑎𝑏)∗. Entonces el lenguaje es:
𝐿 = {𝑥|𝑥 ∈ (𝑎𝑏)𝑖 , 𝑖 ≥ 0}

10. Construya el diagrama de transición y describa el lenguaje que acepta el siguiente

autómata finito determinístico: Sea M=<Q, X, , q0, F> dado por:
Q = {q0,q1,q2,q3}
 X = {0,1}
F = {q0}
q0 = q0
y 𝛿 dada por la tabla siguiente:

- Diagrama de transición:

- Lenguaje aceptado:
𝑤 = 10101100
(𝑞0 , 10101100) →∗ (𝑞0 , 𝜆)
(𝑞0 , 10101100) →1 (𝑞1 , 0101100) →2 (𝑞3 , 101100) →3 (𝑞2 , 01100)
→4 (0,1100) →5 (𝑞1 , 100) →6 (𝑞0 , 00) →7 (𝑞2 , 0) →8 (𝑞0 , 𝜆)
Si cumple.

11. Proporcione los AFN´s que acepten los siguientes lenguajes sobre el alfabeto {0,1} y
luego determíneselos:
a) El conjunto de todas las cadenas que terminen en 00.
𝐸𝑅 = (0|1)∗ 00

δ 0 1
λ_clausura(0)={0,1,2,4,7}/A 3,8/B 5/C
λ_clausura(3,8)={1,2,3,4,6,7,8}/B 3,8,9/D 5/C
λ_clausura(5)={1,2,4,5,6,7}/C 3,8/B 5/C
λ_clausura(3,8,9)={1,2,3,4,6,7,8,9}/D 3,8,9/D 5/C

b) El conjunto de todas las cadenas que posean tres 0’s consecutivos.

𝐸𝑅 = 1∗ (0001+ )+
 δ 0 1
λ_clausura(0)={0,1,3}/A 4/B 2/C
λ_clausura(4)={4}/B 5/D -
λ_clausura(2)={2,1,3}/C 4/B 2/C
λ_clausura(6)={5}/D 6/E -
λ_clausura(6)={6,7,9}/E - 8/F
λ_clausura(8)={ 8,7,3}/F 4/B 8/F

c) 10 | (0 | 11)0*1

δ 0 1
λ_clausura(0)={0,1,4,5,7}/A 6/B 2,8/C
λ_clausura(6)={6,10,11,13}/B 12/D 14/E
λ_clausura(2,8)={2,8}/C 3/F 9/G
λ_clausura(12)={12,11,13}/D 12/D 14/E
λ_clausura(14)={14,15}/E - -
λ_clausura(3)={3,15}/F - -
λ_clausura(9)={9,10,11,13 }/G 12/D 14/E

d) 01[((10)* | 111)* | 0]*1

 δ 0 1
λ_clausura(0)={0}/A 1/B -
λ_clausura(1)={1}/B - 2/C
λ_clausura(2)={2,3,4,5,6,7,
18/D 8,12,21/E
10,15,11,16,19,20,17}/C
λ_clausura(18)={18,19,3,4,5,
18/D 8,12,21/E
6,7,10,15,16,11,17,19,20}/D
λ_clausura(8,12,21)={8,12,
9/F 13/G
21}/E
λ_clausura(9)={9,7,10,15,
18/D 8,12,21/E
16,5,11,19,20,3,4,6,17}/F
λ_clausura(13)={13}/G - 14/H
λ_clausura(14)={14,15,16,
18/D 8,12,21/E
19,20,3,4,5,6,7,11,17}/H

e) ((0 | 1)(0 | 1))* | ((0 | 1) (0 | 1) (0 | 1))*

Δ 0 1
λ_clausura(0)={0,1,2,3,5,13,32,14,15,16,18,31}/A 4,17/B 6,19/C
λ_clausura(4,17)={4,17,7,8,10,20,21,23}/B 9,22/D 11,24/E
λ_clausura(6,19)={6,19,4,17,7,8,10,20,21,23}/C 9,22/D 11,24/E
λ_clausura(9,22)={9,12,2,3,5,13,32,22,25,26,28}/D 4,27/F 6,29/G
λ_clausura(11,24)={11,24,12,2,3,5,13,32,22,25,26,28}/E 4,27/F 6,29/G
λ_clausura(4,27)={4,27,7,8,10,30,15,16,18,31,32}/F 9,17/H 11,19/I
λ_clausura(6,29)={6,29,7,8,10,30,15,16,18,31,32}/G 9,17/H 11,19/I
λ_clausura(9,17)={9,17,12,2,3,5,13,32,20,21,23}/H 4,22/J 6,14/K
λ_clausura(11,19)={11,19,17,12,2,3,5,13,32,20,21,23}/I 4,22/J 6,24/K
λ_clausura(4,22)={4,22,7,8,10,25,26,28}/J 9,27/L 11,29/M
λ_clausura(6,24)={6,24,7,8,10,25,26,28}/K 9,27/L 11,29/M
λ_clausura(9,27)={9,27,2,3,5,13,32,30,15,16,18,31}/L 4,17/B 6,19/C
λ_clausura(11,29)={11,29,2,3,5,13,32,30,15,16,18,31}/M 4,17/B 6,19/C

12. Dadas las siguientes expresiones regulares, obtener los autómatas de estados finitos
deterministas (AFD´s) equivalentes.
a) 1*(0|01)*

1≤𝑖≤5 𝑠𝑖𝑔𝑢𝑖𝑒𝑛𝑡𝑒𝑝𝑜𝑠(𝑖)
1 {1,2,3,5}
2 {2,3,5}
3 {4}
4 {2,3,5}
5 −

𝛿 0 1
{1,2,3,5}/𝐴 {2,3,4,5}/𝐵 {1,2,3,5}/𝐴
{2,3,4,5}/𝐵 {2,3,4,5}/𝐵 {2,3,5}/𝐶
{2,3,5}/𝐶 {2,3,4,5}/𝐵 −
b) (0|1)*(10|01)*1|(11|00)

1 ≤ 𝑖 ≤ 12 𝑠𝑖𝑔𝑢𝑖𝑒𝑛𝑡𝑒𝑝𝑜𝑠(𝑖)
1 {1,2,3,5,7}
2 {1,2,3,5,7}
3 {4}
4 {3,5,7}
5 {6}
6 {3,5,7}
7 {12}
8 {9}
9 {12}
10 {11}
11 {12}
12 −

𝛿 0 1
{1,2,3,5,7,8,10}/𝐴 {1,2,3,5,6,7,11}/𝐵 {1,2,3,4,5,7,9,12}/𝐶
{1,2,3,5,6,7,11}/𝐵 {1,2,3,5,6,7,12}/𝐷 {1,2,3,4,5,7,12}/𝐸
{1,2,3,4,5,7,9,12}/𝐶 {1,2,3,5,6,7}/𝐹 {1,2,3,4,5,7,12}/𝐸
{1,2,3,5,6,7,12}/𝐷 {1,2,3,5,6,7}/𝐹 {1,2,3,4,5,7,12}/𝐸
{1,2,3,4,5,7,12}/𝐸 {1,2,3,5,6,7}/𝐹 {1,2,3,4,5,7,12}/𝐸
{1,2,3,5,6,7}/𝐹 {1,2,3,5,6,7}/𝐹 {1,2,3,4,5,7,12}/𝐸
c) 10|(0|11)0*1

1≤𝑖≤8 𝑠𝑖𝑔𝑢𝑖𝑒𝑛𝑡𝑒𝑝𝑜𝑠(𝑖)
1 {2}
2 {8}
3 {6,7}
4 {5}
5 {6,7}
6 {6,7}
7 {8}
8 −

𝛿 0 1
{1,3,4}/𝐴 {6,7}/𝐵 {2,5}/𝐶
{6,7}/𝐵 {6,7}/𝐵 {8}/𝐷
{2,5}/𝐶 {8}/𝐷 {6,7}/𝐵
{8}/𝐷 − −

d) 01[((10)*|111)*|0]*1
 1 ≤ 𝑖 ≤ 10 𝑠𝑖𝑔𝑢𝑖𝑒𝑛𝑡𝑒𝑝𝑜𝑠(𝑖)
1 {2}
2 {3,5,8,9}
3 {4}
4 {3,5,8,9}
5 {6}
6 {7}
7 {3,5,8,9}
8 {3,5,8,9}
9 {10}
10 −

𝛿 0 1
{1}/𝐴 {2}/𝐵 −
{2}/𝐵 − {3,5,8,9}/𝐶
{3,5,8,9}/𝐶 {3,5,8,9}/𝐶 {4,6,10}/𝐷
{4,6,10}/𝐷 {3,5,8,9}/𝐶 {7}/𝐸
{7}/𝐸 − {3,5,8,9}/𝐶

e) ((0|1)(0|1))*|((0|1)(0|1)(0|1))*
 1 ≤ 𝑖 ≤ 11 𝑠𝑖𝑔𝑢𝑖𝑒𝑛𝑡𝑒𝑝𝑜𝑠(𝑖)
1 {3,4}
2 {3,4}
3 {1,2,11}
4 {1,2,11}
5 {7,8}
6 {7,8}
7 {9,10}
8 {9,10}
9 {5,6,11}
10 {5,6,11}
11 −

𝛿 0 1
{1,2,5,6,11}/𝐴 {3,4,7,8}/𝐵 {3,4,7,8}/𝐵
{3,4,7,8}/𝐵 {1,2,9,10,11}/𝐶 {1,2,9,10,11}/𝐶
{1,2,9,10,11}/𝐶 {3,4,5,6,11}/𝐷 {3,4,5,6,11}/𝐷
{3,4,5,6,11}/𝐷 {1,2,7,8,10}/𝐸 {1,2,7,8,10}/𝐸
{1,2,7,8,10}/𝐸 {3,4,9,10}/𝐹 {3,4,9,10}/𝐹
{3,4,9,10}/𝐹 {1,2,5,6,11}/𝐺 {1,2,5,6,11}/𝐺
{1,2,5,6,11}/𝐺 {3,4,7,8}/𝐵 {3,4,7,8}/𝐵

13. Sea M el AFN dado por Q = {q0, q1}, X ={a,b}, q0=q0, F={q1} y 𝛿 dada en la tabla
siguiente. Determinar si la cadena “ba” están en L(M). Dibujar el diagrama de
transición para M.
 (𝑞0 , 𝑏𝑎) →1 (𝑞1 , 𝑎) →2 (∅, 𝑎)
La cadena “ba” no está en L(M) ya que el estado q1 no tiene una transición con “a”.

14. Construya la tabla de transición y describa el lenguaje que acepta el AFN con
movimiento 𝜀 = 𝜆, dado el diagrama de transición de la figura siguiente.
Determinícelo y pruebe con una palabra.

δ a b
λ_clausura(q0)={q0}/A q1/B -
λ_clausura(q1)={q1,q4}/B - q2,q0,q5/C
λ_clausura(q0,q2,q5)={q0,q2,q5}/C q0,q1,q3/D q4/E
λ_clausura(q0,q1,q3)={ q1/B q0,q2,q5/C
q0,q1,q3,q4}/D
λ_clausura(q4)={q4}/E - q0,q5/F
λ_clausura(q0,q5)={q0,q5}/F q0,q1/G -
λ_clausura(q0,q1)={q0,q1,q4}/G q1/B q0,q2,q5/C

(𝐴, 𝑎𝑏𝑎𝑎𝑏𝑏𝑏𝑎) →∗ (𝐴, 𝜆)

(𝐴, 𝑎𝑏𝑎𝑎𝑏𝑏𝑏𝑎) →1 (𝐵, 𝑏𝑎𝑎𝑏𝑏𝑏𝑎) →2 (𝐶, 𝑎𝑎𝑏𝑏𝑏𝑎) →3 (𝐷, 𝑎𝑏𝑏𝑏𝑎) →4 (𝐵, 𝑏𝑏𝑏𝑎)
→5 (𝐶, 𝑏𝑏𝑎) →6 (𝐸, 𝑏𝑎) →7 (𝐹, 𝑎) →8 (𝐺, 𝜆)

15. Encontrar las expresiones regulares correspondientes a los autómatas siguientes:

 (𝑎|𝑏)∗

𝑏 ∗ 𝑎(𝑎|𝑏)∗

(𝑎𝑎)∗

𝑎∗ 𝑏𝑏∗ 𝑎(𝑎|𝑏)∗

16. Representar por medio de diagramas de transición los AFD que acepten las
expresiones regulares de:
Expresión Regular Lenguaje Regular
(1|0)*0(1|0)*0(1|0)* L={Cadenas sobre ∑={0, 1} que tienen por lo menos dos
ceros}

1≤𝑖≤9 𝑠𝑖𝑔𝑢𝑖𝑒𝑛𝑡𝑒𝑝𝑜𝑠(𝑖)
1 {1,2,3}
2 {1,2,3}
3 {4,5,6}
4 {4,5,6}
5 {4,5,6}
6 {7,8,9}
7 {7,8,9}
 8 {7,8,9}
9 −

𝛿 0 1
{1,2,3}/𝐴 {1,2,3,4,5,6}/𝐵 {1,2,3}/𝐴
{1,2,3,4,5,6}/𝐵 {1,2,3,4,5,6,7,8,9}/𝐶 {1,2,3,4,5,6}/𝐵
{1,2,3,4,5,6,7,8,9}/𝐶 {1,2,3,4,5,6,7,8,9}/𝐶 {1,2,3,4,5,6,7,8,9}/𝐶

0(00)* L={Cadenas de longitud impar de 0’s}

1≤𝑖≤4 𝑠𝑖𝑔𝑢𝑖𝑒𝑛𝑡𝑒𝑝𝑜𝑠(𝑖)
1 {2}
2 {3}
3 {2,4}
4 −

𝛿 0 1
{1}/𝐴 {2}/𝐵 −
{2}/𝐵 {3}/𝐶 −
{3}/𝐶 {2,4}/𝐷 −
{2,4}/𝐷 {3}/𝐶 −

(1|0)*100(1|0)* L={Cadenas sobre ∑={0, 1} que tienen la subcadena 100}

 1≤𝑖≤8 𝑠𝑖𝑔𝑢𝑖𝑒𝑛𝑡𝑒𝑝𝑜𝑠(𝑖)
1 {1,2,3}
2 {1,2,3}
3 {4}
4 {5}
5 {6,7,8}
6 {6,7,8}
7 {6,7,8}
8 −

𝛿 0 1
{1,2,3}/𝐴 {1,2,3}/𝐴 {1,2,3,4}/𝐵
{1,2,3,4}/𝐵 {1,2,3,5}/𝐶 {1,2,3,4}/𝐵
{1,2,3,5}/𝐶 {1,2,3,6,7,8}/𝐷 {1,2,3,4}/𝐵
{1,2,3,6,7,8}/𝐷 {1,2,3,6,7,8}/𝐷 {1,2,3,6,7,8}/𝐷

1(1|0)*1 L={Cadenas sobre ∑={0, 1} que inicien y terminen con 1}

 1≤𝑖≤5 𝑠𝑖𝑔𝑢𝑖𝑒𝑛𝑡𝑒𝑝𝑜𝑠(𝑖)
1 {2,3,4}
2 {2,3,4}
3 {2,3,4}
4 {5}
5 −

𝛿 0 1
{1}/𝐴 − {2,3,4}/𝐵
{2,3,4}/𝐵 {2,3,4}/𝐵 {2,3,4,5}/𝐶
{2,3,4,5}/𝐶 {2,3,4}/𝐵 {2,3,4,5}/𝐶

17. Obtener la expresión regular que representa al lenguaje formado por todas las
cadenas sobre X={a, b} que tienen un número par de b’s y construya por medio de un
diagrama de transición su AFD.
𝐸𝑅 = (𝑎∗ 𝑏𝑎∗ 𝑏)+
𝐸𝑅 = (𝑎∗ 𝑏𝑎∗ 𝑏)(𝑎∗ 𝑏𝑎∗ 𝑏)∗ $

1≤𝑖≤9 𝑠𝑖𝑔𝑢𝑖𝑒𝑛𝑡𝑒𝑝𝑜𝑠(𝑖)
1 {1,2}
2 {3,4}
3 {3,4}
4 {5,6,9}
5 {5,6}
6 {7,8}
7 {7,8}
8 {5,6,9}
9 −

𝛿 𝑎 𝑏
{1,2}/𝐴 {1,2}/𝐴 {3,4}/𝐵
 {3,4}/𝐵 {3,4}/𝐵 {5,6,9}/𝐶
{5,6,9}/𝐶 {5,6}/𝐷 {7,8}/𝐸
{5,6}/𝐷 {5,6}/𝐷 {7,8}/𝐸
{7,8}/𝐸 {7,8}/𝐸 {5,6,9}/𝐶

18. Pruebe las siguientes identidades para las expresiones regulares r, s y t.

a) r|s = s|r
- R + S = S + R, (R + S) + T = R + (S + T), R + vacio = vacio + R = R, R + R = R
b) (rs)t = r(st)
- R • λ = λ • R = R, R • vacio = vacio • R = vacio, (R • S) • T = R • (S • T)
c) (r|s)|t = r|(s|t)
- R + S = S + R, (R + S) + T = R + (S + T)
d) (r|s)t = rt|st
- (R + S)* = (R*+ S*)* = (R*S*)* = (R*S)*R* = R*(SR*)* ≠ R* + S*
e) (r*s*)* = (r|s)*
- (R*S*)* = (R*S)*R* = R*(SR*)* ≠ R* + S*

prueba: r= ((0|1|λ)(0|1))*|(0|1)(0|1)(0|1)*