MC Prof. Paulo Cesar Centoducatte MC542 Organização de Computadores Teoria e Prática

MC MC542 Circuitos Lógicos Projeto de Máquinas de Estados Finitos Eliminação de Estados Redundantes

MC FSM: Eliminação de Estados Redundantes Eliminação de estados redundantes Eliminação de estados redundantes por partição

MC FSM: Eliminação de Estados Redundantes Estado Atual Estado Futuro X=0X=1.... PR/0R/0S/1.... QR/0S/1....

MC 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

MC Estado Presente Estado Futuro X=0X=1 AB/0C/1 BC/0A/1 CD/1B/0 DC/0A/1 ED/0C/1 Exemplo: Eliminação de Estados Redundantes

MC Estado Presente Estado Futuro X=0X=1 AB/0C/1 BC/0A/1 CB/1B/0 E C/1 Exemplo: Eliminação de Estados Redundantes

MC 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

MC Estado Presente Estado Futuro X=0X=1 AB/0C/1 BC/0A/1 CB/1B/0 Exemplo: Eliminação de Estados Redundantes

MC 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

MC 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

MC 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

MC 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

MC 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

MC 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

MC 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

MC 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

MC Eliminação de Estados Redundantes por Partição a = ( A, C, E) b = (B,G) c = D d = F e = H

MC 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