The projection from states onto their external components, 7 The projection from states that eliminates theX component, 20 A set of states, 7 A set of externally visible states, 7 A set of internal states, 7 ! The set of all in nite sequences of elements (0)