The trellis diagram of C is defined by the state code of C and by labels ... If C is complete and strongly controllable, then a minimal encoder in controller canonical (feedbackfree) form may be ...