Paulo C. Centoducatte – MC542 - IC/Unicamp- 2004s2 Eliminação de Estados Redundantes.

Apresentação em tema: "Paulo C. Centoducatte – MC542 - IC/Unicamp- 2004s2 Eliminação de Estados Redundantes."— Transcrição da apresentação:

1 Paulo C. Centoducatte – MC542 - IC/Unicamp- 2004s2 Eliminação de Estados Redundantes

2 Paulo C. Centoducatte – MC542 - IC/Unicamp- 2004s2 Tópicos Eliminação de estados redundantes Eliminação de estados redundantes por partição

3 Paulo C. Centoducatte – MC542 - IC/Unicamp- 2004s2 Eliminação de Estados Redundantes Estado Atual Estado Futuro X=0X=1.... PR/0R/0S/1.... QR/0S/1....

4 Paulo C. Centoducatte – MC542 - IC/Unicamp- 2004s2 Exemplo: Eliminação de Estados Redundantes Estado Presente Estado Futuro X=0X=1 AB/0C/1 BC/0A/1 CD/1B/0 DC/0A/1 ED/0C/1

5 Paulo C. Centoducatte – MC542 - IC/Unicamp- 2004s2 Exemplo: Eliminação de Estados Redundantes Estado Presente Estado Futuro X=0X=1 AB/0C/1 BC/0A/1 CD/1B/0 DC/0A/1 ED/0C/1

6 Paulo C. Centoducatte – MC542 - IC/Unicamp- 2004s2 Exemplo: Eliminação de Estados Redundantes Estado Presente Estado Futuro X=0X=1 AB/0C/1 BC/0A/1 CB/1B/0 E C/1

7 Paulo C. Centoducatte – MC542 - IC/Unicamp- 2004s2 Exemplo: Eliminação de Estados Redundantes Estado Presente Estado Futuro X=0X=1 AB/0C/1 BC/0A/1 CB/1B/0 E C/1

8 Paulo C. Centoducatte – MC542 - IC/Unicamp- 2004s2 Exemplo: Eliminação de Estados Redundantes Estado Presente Estado Futuro X=0X=1 AB/0C/1 BC/0A/1 CB/1B/0

9 Paulo C. Centoducatte – MC542 - IC/Unicamp- 2004s2 Eliminação de Estados Redundantes por Partição Estado Presente Estado Futuro X=0X=1 AB/0C/0 BD/0E/0 CG/0E/0 DH/0F/0 EG/0A/0 FG/1A/0 GD/0C/0 HH/0A/0

10 Paulo C. Centoducatte – MC542 - IC/Unicamp- 2004s2 Eliminação de Estados Redundantes por Partição Estado Presente Estado Futuro X=0X=1 A1A1 B/0C/0 B1B1 D/0E/0 C1C1 G/0E/0 D1D1 H/0F/0 E1E1 G/0A/0 F2F2 G/1A/0 G1G1 D/0C/0 H1H1 H/0A/0

11 Paulo C. Centoducatte – MC542 - IC/Unicamp- 2004s2 Eliminação de Estados Redundantes por Partição Estado Presente Estado Futuro X=0X=1 A1A1 B1B1 C1C1 B1B1 D1D1 E1E1 C1C1 G1G1 E1E1 D1D1 H1H1 F2F2 E1E1 G1G1 A1A1 F2F2 G1G1 A1A1 G1G1 D1D1 C1C1 H1H1 H1H1 A1A1

12 Paulo C. Centoducatte – MC542 - IC/Unicamp- 2004s2 Eliminação de Estados Redundantes por Partição Estado Presente Estado Futuro X=0X=1 A1A1 B1B1 C1C1 B1B1 D1D1 E1E1 C1C1 G1G1 E1E1 D1D1 H1H1 F2F2 E1E1 G1G1 A1A1 F2F2 G1G1 A1A1 G1G1 D1D1 C1C1 H1H1 H1H1 A1A1

13 Paulo C. Centoducatte – MC542 - IC/Unicamp- 2004s2 Eliminação de Estados Redundantes por Partição Estado Presente Estado Futuro X=0X=1 A1A1 B1B1 C1C1 B1B1 D3D3 E1E1 C1C1 G1G1 E1E1 D3D3 H1H1 F2F2 E1E1 G1G1 A1A1 F2F2 G1G1 A1A1 G1G1 D3D3 C1C1 H1H1 H1H1 A1A1

14 Paulo C. Centoducatte – MC542 - IC/Unicamp- 2004s2 Eliminação de Estados Redundantes por Partição Estado Presente Estado Futuro X=0X=1 A1A1 B4B4 C1C1 B4B4 D3D3 E1E1 C1C1 G4G4 E1E1 D3D3 H1H1 F2F2 E1E1 G4G4 A1A1 F2F2 G4G4 A1A1 G4G4 D3D3 C1C1 H1H1 H1H1 A1A1

15 Paulo C. Centoducatte – MC542 - IC/Unicamp- 2004s2 Eliminação de Estados Redundantes por Partição Estado Presente Estado Futuro X=0X=1 A5A5 B4B4 C1C1 B4B4 D3D3 E1E1 C5C5 G4G4 E1E1 D3D3 H1H1 F2F2 E5E5 G4G4 A1A1 F2F2 G4G4 A1A1 G4G4 D3D3 C1C1 H1H1 H1H1 A1A1

16 Paulo C. Centoducatte – MC542 - IC/Unicamp- 2004s2 Eliminação de Estados Redundantes por Partição A5A5 C5C5 A5A5 A5A5 F2F2 E5E5 E5E5 C5C5 X=1 H1H1 D3D3 G4G4 E5E5 D3D3 B4B4 G4G4 C5C5 B4B4 A5A5 X=0 H1H1 D3D3 G4G4 Estado Futuro H1H1 G4G4 F2F2 Estado Presente

17 Paulo C. Centoducatte – MC542 - IC/Unicamp- 2004s2 Eliminação de Estados Redundantes por Partição a = ( A, C, E) b = (B,G) c = D d = F e = H

18 Paulo C. Centoducatte – MC542 - IC/Unicamp- 2004s2 Eliminação de Estados Redundantes por Partição Estado Presente Estado Futuro X=0X=1 ab/0a/0 bc/0a/0 ce/0d/0 db/1a/0 ee/0a/0