Donald Dean Marsh

• Mechanization of the Moore-Mealy algorithm for the reduction of sequential machines