Equivalence and Minimization
Two FSMs are equivalent if and only if every input sequence yields identical output sequences
Goal: Given an FSM, find the simplest equivalent FSM with a minimum number of states
- Two states s1 and s2 in an FSM are equivalent if and only if each input sequence beginning from s1 yields an output sequence identical to that obtained by starting from s2