Eliminación de Estados Redundantes

 

RJI_BW[IE@E K@UÛNIK@ K@UÛNIK@ @JEWÉ[ GBNNL  O@KRNU@E EB IJHBJIBWÍ@ B[KRBN@ EB IJHBJIBWÍ@ EB UBNBKLMRJIK@KILJB[

Bnbktrûjik` Eihit`n

Bnimij`kiûj eb Bst`els Wbeuje`jtbs Wbeuje`jtbs

 

RJI_BW[IE@E K@UÛNIK@ K@UÛNIK@ @JEWÉ[ GBNNL  O@KRNU@E EB IJHBJIBWÍ@ B[KRBN@ EB IJHBJIBWÍ@ EB UBNBKLMRJIK@KILJB[

Bnbktrûjik` Eihit`n

Bnimij`kiûj eb Bst`els Wbeuje`jtbs Wbeuje`jtbs Kljsiebrbmls uj` bjtr`e` y uj` s`nie` bj uj` màquij` pl Mb`ny (tlel bs vàniel p`r` mônpnbs bjtr`e`s y s`nie`s, klml t`mgiéj p`r` màquij`s pl Mllrb). Bj bstb k`sl pubebj sbr bnimij`el ujl eb bnnls.

Bst`el @ktu`n . . V . . . q  

Bst`el [ihuibjtb . . r . . . r

S=6 [`nie` T 6

6

Bst`el [ihuibjtb . . s . . . s

S=0 [`nie` T 0

0

 

RJI_BW[IE@E K@UÛNIK@ K@UÛNIK@ @JEWÉ[ GBNNL  O@KRNU@E EB IJHBJIBWÍ@ B[KRBN@ EB IJHBJIBWÍ@ EB UBNBKLMRJIK@KILJB[

Bnbktrûjik` Eihit`n

Bnimij`kiûj eb Bst`els Wbeuje`jtbs Wbeuje`jtbs

Bdbmpnl4 Bst`el @ktu`n

Bst`el [ihuibjtb

S=6 [`nie` T

Bst`el [ihuibjtb

S =0 [`nie` T

@

G

6

K

0

G K E B  

K E K E

6 0 6 6

@ G @ K

0 6 0 0

 

RJI_BW[IE@E K@UÛNIK@ K@UÛNIK@ @JEWÉ[ GBNNL  O@KRNU@E EB IJHBJIBWÍ@ B[KRBN@ EB IJHBJIBWÍ@ EB UBNBKLMRJIK@KILJB[

Bnbktrûjik` Eihit`n

Bnimij`kiûj eb Bst`els Wbeuje`jtbs Wbeuje`jtbs Bst`el @ktu`n

Bst`el [ihuibjtb

S =6 [`nie` T

Bst`el [ihuibjtb

S =0 [`nie` T

@

G

6

K

0

G

K

6

@

0

K B

G G

0 6

G K

6 0

 

 

RJI_BW[IE@E K@UÛNIK@ K@UÛNIK@ @JEWÉ[ GBNNL  O@KRNU@E EB IJHBJIBWÍ@ B[KRBN@ EB IJHBJIBWÍ@ EB UBNBKLMRJIK@KILJB[

Bnbktrûjik` Eihit`n

Bnimij`kiûj eb Bst`els Wbeuje`jtbs Wbeuje`jtbs

Bst`el @ktu`n

Bst`el [ihuibjtb

S=6 T [`nie`

Bst`el [ihuibjtb

S=0 T [`nie`

@

G

6

K

0

G

K

6

@

0

K

G

0

G

6

 

 

RJI_BW[IE@E K@UÛNIK@ K@UÛNIK@ @JEWÉ[ GBNNL  O@KRNU@E EB IJHBJIBWÍ@ B[KRBN@ EB IJHBJIBWÍ@ EB UBNBKLMRJIK@KILJB[

Bnbktrûjik` Eihit`n Bnimij`kiûj eb Bst`els Wbeuje`jtbs plr V`rkiûj4 @elpt`rbmls n` cipûtbsis qub nls bst`els qub bjbj n` mism` s`nie` pbrtbjbkbj ` n` mism` p`rkiûj.

Bst`el @ktu`n

Bst`el [ihuibjtb

S=6 [`nie` T

Bst`el [ihuibjtb

S=0 [`nie` T

@ G K E B O

G E H C H H

6 6 6 6 6 0

K B B O @ @

6 6 6 6 6 6

H C

E C

6 6

K @

6 6

 

RJI_BW[IE@E K@UÛNIK@ K@UÛNIK@ @JEWÉ[ GBNNL  O@KRNU@E EB IJHBJIBWÍ@ B[KRBN@ EB IJHBJIBWÍ@ EB UBNBKLMRJIK@KILJB[

Bnbktrûjik` Eihit`n

Bnimij`kiûj eb Bst`els Wbeuje`jtbs Wbeuje`jtbs Bst`el @ktu`n

Bst`el [ihuibjtb

S =6 [`nie` T

Bst`el [ihuibjtb

S=0 [`nie` T

@0 G0 K0

G E H

6 6 6

K B B

6 6 6

E B00 O7 H0 C0

C H H E C

6 6 0 6 6

O @ @ K @

6 6 6 6 6

 

RJI_BW[IE@E K@UÛNIK@ K@UÛNIK@ @JEWÉ[ GBNNL  O@KRNU@E EB IJHBJIBWÍ@ B[KRBN@ EB IJHBJIBWÍ@ EB UBNBKLMRJIK@KILJB[

Bnbktrûjik` Eihit`n

Bnimij`kiûj eb Bst`els Wbeuje`jtbs Wbeuje`jtbs Bst`el @ktu`n

Bst`el [ihuibjtb

S =6 [`nie` T

Bst`el [ihuibjtb

S=0 [`nie` T

@0 G0 K0

G0 E0 H0

6 6 6

K0 B0 B0

6 6 6

E B00 O7 H0 C0

C H0 0 H0 E0 C0

6 6 0 6 6

O70 @ @0 K0 @0

6 6 6 6 6

 

RJI_BW[IE@E K@UÛNIK@ K@UÛNIK@ @JEWÉ[ GBNNL  O@KRNU@E EB IJHBJIBWÍ@ B[KRBN@ EB IJHBJIBWÍ@ EB UBNBKLMRJIK@KILJB[

Bnbktrûjik` Eihit`n

Bnimij`kiûj eb Bst`els Wbeuje`jtbs Wbeuje`jtbs Bst`el @ktu`n

Bst`el [ihuibjtb

S =6 [`nie` T

Bst`el [ihuibjtb

S=0 [`nie` T

@0 G0 K0

G0 E0 H0

6 6 6

K0 B0 B0

6 6 6

E; B0 O7 H0 C0

C0 H0 H0 E0 C0

6 6 0 6 6

O7 @0 @0 K0 @0

6 6 6 6 6

 

RJI_BW[IE@E K@UÛNIK@ K@UÛNIK@ @JEWÉ[ GBNNL  O@KRNU@E EB IJHBJIBWÍ@ B[KRBN@ EB IJHBJIBWÍ@ EB UBNBKLMRJIK@KILJB[

Bnbktrûjik` Eihit`n

Bnimij`kiûj eb Bst`els Wbeuje`jtbs Wbeuje`jtbs Bst`el @ktu`n

Bst`el [ihuibjtb

S =6 [`nie` T

Bst`el [ihuibjtb

S=0 [`nie` T

@0 G0 K0

G0 E; H0

6 6 6

K0 B0 B0

6 6 6

E; B0 O7 H0 C0

C0 H0 H0 E; C0

6 6 0 6 6

O7 @0 @0 K0 @0

6 6 6 6 6

 

RJI_BW[IE@E K@UÛNIK@ K@UÛNIK@ @JEWÉ[ GBNNL  O@KRNU@E EB IJHBJIBWÍ@ B[KRBN@ EB IJHBJIBWÍ@ EB UBNBKLMRJIK@KILJB[

Bnbktrûjik` Eihit`n

Bnimij`kiûj eb Bst`els Wbeuje`jtbs Wbeuje`jtbs Bst`el @ktu`n

Bst`el [ihuibjtb

S =6 [`nie` T

Bst`el [ihuibjtb

S=0 [`nie` T

@0 G5 K0

G0 E; H0

6 6 6

K0 B0 B0

6 6 6

E; B0 O7 H5 C0

C0 H0 H0 E; C0

6 6 0 6 6

O7 @0 @0 K0 @0

6 6 6 6 6

 

RJI_BW[IE@E K@UÛNIK@ K@UÛNIK@ @JEWÉ[ GBNNL  O@KRNU@E EB IJHBJIBWÍ@ B[KRBN@ EB IJHBJIBWÍ@ EB UBNBKLMRJIK@KILJB[

Bnbktrûjik` Eihit`n

Bnimij`kiûj eb Bst`els Wbeuje`jtbs Wbeuje`jtbs Bst`el @ktu`n

Bst`el [ihuibjtb

S =6 [`nie` T

Bst`el [ihuibjtb

S=0 [`nie` T

@0 G5 K0

G5 E; H5

6 6 6

K0 B0 B0

6 6 6

E; B0 O7 H5 C0

C0 H5 H5 E; C0

6 6 0 6 6

O7 @0 @0 K0 @0

6 6 6 6 6

 

RJI_BW[IE@E K@UÛNIK@ K@UÛNIK@ @JEWÉ[ GBNNL  O@KRNU@E EB IJHBJIBWÍ@ B[KRBN@ EB IJHBJIBWÍ@ EB UBNBKLMRJIK@KILJB[

Bnbktrûjik` Eihit`n

Bnimij`kiûj eb Bst`els Wbeuje`jtbs Wbeuje`jtbs Bst`el @ktu`n

Bst`el [ihuibjtb

S =6 [`nie` T

Bst`el [ihuibjtb

S=0 [`nie` T

@2 G5 K2

G5 E; H5

6 6 6

K0 B0 B0

6 6 6

E; B2 O7 H5 C0

C0 H5 H5 E; C0

6 6 0 6 6

O7 @0 @0 K0 @0

6 6 6 6 6

 

RJI_BW[IE@E K@UÛNIK@ K@UÛNIK@ @JEWÉ[ GBNNL  O@KRNU@E EB IJHBJIBWÍ@ B[KRBN@ EB IJHBJIBWÍ@ EB UBNBKLMRJIK@KILJB[

Bnbktrûjik` Eihit`n

Bnimij`kiûj eb Bst`els Wbeuje`jtbs Wbeuje`jtbs

C`kbmls uj k`mgil eb v`ri`gnbs4 Bst`el S=6 `= @ û K û B (2) Bst`el @ktu`n [ihuibjtb [`nie` T g= G û H (5) ` g 6 g k 6 k= E (;) ` g 6 k b 6 e= O (7) ` g 6 b= C (0) e g 0 g b

k b

6 6

Bst`el [[iihuibjtb

S =0 [`nie` T

` ` ` e ` ` ` `

6 6 6 6 6 6 6 6

 

RJI_BW[IE@E K@UÛNIK@ K@UÛNIK@ @JEWÉ[ GBNNL  O@KRNU@E EB IJHBJIBWÍ@ B[KRBN@ EB IJHBJIBWÍ@ EB UBNBKLMRJIK@KILJB[

Bnbktrûjik` Eihit`n

Bnimij`kiûj eb Bst`els Wbeuje`jtbs Wbeuje`jtbs Bst`el @ktu`n

Bst`el [ihuibjtb

S=6

Bst`el [ihuibjtb

[`nie` T

S=0 [`nie` T

`

g

6

`

6

g

k

6

`

6

k

b

6

e

6

e b

g b

0 6

` `

6 6