blob: 200e07ef63435d51fb9faebddac7ce67c4cc5a7d (
plain)
1
2
3
4
5
6
7
|
clc;
clear
disp("From the definition of partition pair(T,T^)which is an ordered pair of partitions such that if Si and Sj are in the same block of t, then for every input Ik in I, next states are in the same block of T^ ");
disp("By applying the above definition we can obtain the following partition pairs");
disp("(pi1,pi1^)=({(ABC),(DEF)},{(ABC),(DEF)})");
disp("(t1,t1^)=({(ABCD),(EF)},{(AE),(BCDF)})");
disp("(t2,t2^)=({(AE),(BCDF)},{(ACDE),(BF)})");
|
