Ejemplo Adicional del Teorema de

Kleene

TEOREMA DE KLEENE
Estrella de Kleene:
E.R.

NFA-

DFA

NFA

TEOREMA DE KLEENE

Ejemplo:

Tenemos la E.R. -> (0+1)*1

0+ 1

0*

01

TEOREMA DE KLEENE
Completemos el autmata:

1
9

10

TEOREMA DE KLEENE (NFA- a NFA)

C(1) = {1,2,3,4,8,9}

7
4

Mov{C(1) ,0}={5}

Mov{C(1),1 }={6,10}

10

1. Se interpretan los estados y sus direcciones teniendo en cuenta hacia

donde nos lleva en base a epsilon y agregando que cada estado se
lleva a si mismo.
2. Mover cada estado que resulto de la cerradura psilon con los
valores del alfabeto.

C(2) = {2,3,4}

C(3) = {3}

C(4) = {4}

Mov{C(2) ,0}={5}

Mov{C(3) ,0}={5}

Mov{C(4) ,0}={ }

Mov{C(2), 1 }={6}

Mov{C(3), 1 }={ }

Mov{C(4), 1 }={6}

C(5) = {5,7,2,3,4,8,9}

C(6) = {6,7,8,9,2,3,4}

C(7) = {2,3,4,8,9}

Mov{C(5) ,0}={5 }

Mov{C(6) ,0}={5}

Mov{C(7) ,0}={5}

Mov{C(5), 1}={6,10}

Mov{C(6), 1}={6,10}

Mov{C(7), 1}={6,10}

C(8) = {8,9}

C(9) = {9}

C(10) = {10}

Mov{C(8) ,0}={ }

Mov{C(9) ,0}={ }

Mov{C(10) ,0}={ }

Mov{C(8), 1 }={10}

Mov{C(9), 1 }={10}

Mov{C(10), 1 }={ }

TEOREMA DE KLEENE (NFA- a NFA)

3. Se genera la siguiente tabla para despus minimizarla mediante la
identificacin de los estados a los que no hay forma de llegar a ellos
mediante otros estados.

Alfabeto
Posicin

1
2
3
4
5
6
7
8
9
10

5
5
5
5
5
5
-

6,10
6
6
6,10
6,10
6,10
10
10
-

1,2,3,4,8,9
2,3,4
3
4
5,7,2,3,4,8,9
6,7,8,9,2,3,4
2,3,4,8,9
8,9
9
10

TEOREMA DE KLEENE (NFA- a NFA)

4. Si se quiere dibujar el autmata solo se debe tomar en cuenta que

los estados finales sern aquellos que en su cerradura epsilon
contengan al antiguo estado final.

6
0

10

TEOREMA DE KLEENE (NFA a DFA)

Alfabeto
Posicin

1
2
3
4
5
6
7
8
9
10

5
5
5
5
5
5
-

6,10
6
6
6,10
6,10
6,10
10
10
-

1,2,3,4,8,9
2,3,4
3
4
5,7,2,3,4,8,9
6,7,8,9,2,3,4
2,3,4,8,9
8,9
9
10

TEOREMA DE KLEENE (NFA a DFA)

Construccin de Subconjuntos (Se toman los valores de la tabla), en el
caso que este vaco se toman en cuenta los movimientos del Edo. Que lo
seal, en este caso para el edo. 10 fue sealado por el edo. 7
5

{ 5,7,2,3,4,8,9}

{5,7,8,9,2,3,4}

10

{2,3,4,8,9}

Alfabeto

6,10

6,10

10

Estados

TEOREMA DE KLEENE (NFA a DFA)

Construccin de Subconjuntos
A = { 5,6}
B = {10}

C = {5}
D = {6,10}

5,6
0

6,10
0
1
1

10
0

TEOREMA DE KLEENE (DFA a E.R.)

5,6

1
6,10

Verificar cada camino del

DFA

0
1
1

10
0

(0+1)* 1