blob: 9ac7518d210f38cc0daf5818c53b6ae398a1df03 (
plain)
1
2
3
4
5
6
7
8
9
|
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")
|
