Professional Documents
Culture Documents
LECTURE B 1 FSM Minimization Intro
LECTURE B 1 FSM Minimization Intro
State Minimization
Goal : identify and remove redundant states
(states which can not be observed from the FSM I/O behavior)
Goal identify and combine states that have equivalent behavior Equivalent States:
Algorithm Sketch
Same output For all input combinations, states transition to same or equivalent states
1. Place all states in one set 2. Initially partition set based on output behavior 3. Successively partition resulting subsets based on next state transitions 4. Repeat (3) until no further partitioning is required
Completely-specified state machine two states are equivalent if outputs are identical for all input combinations Next states are equivalent for all input combinations equivalence of states is an equivalence relation which partitions the states into disjoint equivalence classes Incompletely specified state machines
Any two states of Moore Machine that have the same output and transit to the same states under the same input symbols are equivalent and can be combined This step is repeated until no more equivalent states exist States SZ and SZ are equivalent
SZ X SA X X SY X SC
and are combined to one state by pointing all arows that go to SY to state SZ and removing SY with its all arrows
Any two states of Mealy Machine that have the same output for the same input symbol and transit to the same states under the same input symbols are equivalent and can be combined This step is repeated until no more equivalent states exist
SZ X SA SY X
X SC
Z SZ X Z SA X Z SC
States SZ and SZ are equivalent and are combined to one state by pointing all arows that go to SY to state SZ and removing SY with its all arrows
1. Partition the set of internal states based on input output values asserted in the state 2. Define the partitions so that all states in a partition transition into the same next-state partition (under corresponding inputs)
(A,C,E)(G)(D)(B,F)(H)
B and F go to D
States A, C and E can be combined to one state States B and F can be combined to one state
You can also marke each new group with a new symbol and check transitions to thus marked groups
(A,B,C,D,E,F,H)(G) (A,B,C,E,F,H)(G)(D)
(A,C,E,H)(G)(D)(B,F)
(A,C,E)(G)(D)(B,F)(H)
0/0 0/0 S1
S0
1/0
S3
0/0
1/0
S4
0/1
1/0
S5
0/0
1/0
S6
0/1
1/0
( S0 S1 S2 S3 S4 S5 S6 ) ( S0 S1 S2 S3 S5 ) ( S4 S6 ) ( S0 S3 S5 ) ( S1 S2 ) ( S4 S6 ) ( S0 ) ( S3 S5 ) ( S1 S2 ) ( S4 S6 )
Minimized FSM
S4
1/0
inputs here
10
present state S0 S1 S2 S3 S4 S5
00 S0 S0 S1 S1 S0 S1
next state 01 10 11 S1 S2 S3 S3 S1 S4 S3 S2 S4 S0 S4 S5 S1 S2 S5 S4 S0 S5
output 1 0 1 0 1 0
Cross out incompatible states based on outputs Then cross out more cells if indexed chart entries are already crossed out
S0-S1 S1-S3 S2-S2 S3-S4
S1
S2
next state 00 01 10 11 S0' S1 S2 S3' S0' S3' S1 S3' S1 S3' S2 S0' S1 S0' S0' S3' minimized state table (S0==S4) (S3==S5)
output 1 0 1 0
S4
S5 S0
S2
S4
Equivalence of states is transitive when machine is fully specified But its not transitive when don't cares are present e.g., state output
S0 S1 S2 0 1 1 S1 is compatible with both S0 and S2 but S0 and S2 are incompatible
No polynomial time algorithm exists for determining best grouping of states into equivalent sets that will yield the smallest number of final states
Example: edge detector - outputs 1 when last two input changes from 0 to 1
X 00 [0] X 11 [0] X X X 01 [1] X 0 0 0 1 1 1 Q1 0 0 1 0 0 1 1 Q0 0 1 1 0 1 1 0 Q1+ 0 0 0 0 1 1 0 Q0+ 0 0 0 1 1 1 0
X 10 [0]
X 01 [1]
X
X 11 [0] X X