clc;
clear;
disp("For the Machine M5 in PG 400");
disp("State A implies the identification of states C and D");
disp("similarly C implies the identification of E and F states");
disp("In the same way C implies the identification of A and B");
disp("Thus the smallest input consistent partition for M5 is ");
disp("pi={(AB),(CD),(EF)}");
disp("Any other partition that contains pi is also input consistent")