Simplified FSM
s1
s2
s3
0
1
1
0
0
s4
1
0
1
1
1
0
Pick s2 and move incident edges of s3 to s2
Delete s3 and any outgoing edges
s1
s2
0
1
1
0, 1
s4
1
0
1
0
1
(s2, s3)
equivalent
Previous slide
Next slide
Back to first slide
View graphic version