Equivalence of finite-state machines, state assignments using partitions,
reduction of the output dependency and input independence, state assignments using covers.
Information flow in sequential machines, decomposition, special realizations.
Homing and distinguishing experiments, machine identification, fault-detection
experiments. Finite memory machines, information lossless machines, diagnosable machines.
Linear sequential machines.
