Carregar apresentação
A apresentação está carregando. Por favor, espere
PublicouCecília Ector Alterado mais de 10 anos atrás
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
Apresentações semelhantes
© 2024 SlidePlayer.com.br Inc.
All rights reserved.