rc01.png - algne DGR

rc02.png - prast teisendust "Remove dead nodes"

rc03.png - prast teisendust "Use transformation language"
 - Valitud tipud: 64:Id ja 72:Id.
 - sisestatud kood:
{m=2; loop i 1 m (ID[i]=Id;B[i]=InputB;O[i]=OutputS;S[i]=InputS)}
{loop i 1 m (ID[i](B[i];S[i]);O[i](ID[i]))}{loop i 1 m (O[i](S[i]))}

rc04.png - prast teisendust "Use transformation language"
 - Valitud tipud: 107:Symdec ja 86:Symenc
 - sisestatud kood:
Deklaratsioonid
{
ENC=Symenc; #krptimine
DEC=Symdec; #lahtikrptimine
CE=InputB; #kontrollsltuvus
CD=InputB; #kontrollsltuvus
R=InputS; #juhumndid
KE=InputS; #vti
KD=InputS; #vti
X=InputS; #snum
OD=OutputS; #bitijada vljund
}
Vasak DGFR-muutuja
{
ENC(CE;R;KE;X); #servad CE -> ENC, R -> ENC, K -> ENC ja X -> ENC
DEC(CD;ENC;KD); #servad CD -> DEC, ENC -> DEC ja K -> DEC
OD(DEC); #serv DEC -> OD
}
Parem DGFR-muutuja
{
OD(X); #serv X -> OD
}

rc05.png - prast teisendust "Remove dead nodes"

rc06.png - prast teisendust "Use transformation language"
 - Valitud tipp: 46:True
 - sisestatud kood:
{T=True;O=OutputB;}{O(T)}{}

rc07.png - prast teisendust "Use transformation language"
 - Valitud tipp: 90:True
 - sisestatud kood:
{T=True;O=OutputB;}{O(T)}{}

rc08.png - prast teisendust "Use transformation language"
 - Valitud tipp: 82:Or
 - sisestatud kood:
{I=InputB;OR=Or;O=OutputB;}{OR(I);O(OR)}{}

rc09.png - prast teisendust "Use transformation language"
 - Valitud tipp: 74:Or
 - sisestatud kood:
{I=InputB;OR=Or;O=OutputB;}{OR(I);O(OR)}{}

rc10.png - prast teisendust "Use transformation language"
 - Valitud tipp: 66:Or
 - sisestatud kood:
{I=InputB;OR=Or;O=OutputB;}{OR(I);O(OR)}{}

rc11.png - prast teisendust "Use transformation language"
 - Valitud tipp: 88:Or
 - sisestatud kood:
{I=InputB;OR=Or;O=OutputB;}{OR(I);O(OR)}{}

rc12.png - prast teisendust "Use transformation language"
 - Valitud tipud: 49:Or ja 109:Or
 - sisestatud kood:
{I=InputB;O1=Or;O2=Or;OO1=OutputB;OO2=OO1;}
{O1(I);OO1(O1);OO2(O2);O2(O1);}{O1(I);OO2(O2);O2(O1);}

rc13.png - prast teisendust "Use transformation language"
 - Valitud tipp: 49:Or
 - sisestatud kood:
{I=InputB;O=OutputB;OR=Or;}{OR(I);O(OR);}{O(I);}

rc14.png - prast teisendust "Use transformation language"
 - Valitud tipud: 109:Or
 - sisestatud kood:
{I=InputB;O=OutputB;OR=Or;}{OR(I);O(OR);}{O(I);}

rc15.png - prast teisendust "Use transformation language"
 - Valitud tipud: 51:True ja 50:RS,
 - sisestatud kood:
{T=True;R=RS;O=OutputS;O3=O;O2=OutputB;}{R(T);O2(T);O(R);}{R(T);O(R);}

rc16.png - prast teisendust "Use transformation language"
 - Valitud tipud: 65:And, 87:And ja 108.:And,
 - sisestatud kood:
{A1=And;A2=And;A3=And;O=OutputB;loop i 1 6 (I[i]=InputB)}
{A1(I[1];I[2]);A2(A1;I[3];A3);A3(I[4];I[5];I[6]);O(A2)}
{A1(I[1];I[2]);A2(A1;;A3);A3(I[4];I[5];I[6]);O(A2)}

rc17.png - prast teisendust "Use transformation language"
 - Valitud tipud: 81:And ja 87:And
 - sisestatud kood:
{n=2;loop i 1 n (O[i]=OutputB;A[i]=And);loop i 1 3 (I[i]=InputB)}
{A[1](I[1]);A[2](A[1];I[2];I[3]);loop i 1 n (O[i](A[i]))}
{A[1](I[1]);A[2](    ;I[2];I[3]);loop i 1 n (O[i](A[i]))}.

rc18.png - prast teisendust "Use transformation language"
 - Valitud tipud: 73:And ja 87:And
 - sisestatud kood:
{loop i 1 3 (I[i]=InputB); loop i 1 2 (A[i]=And);O=OutputB;}
{A[1](loop i 1 2 (I[i]));A[2](A[1];I[3]);O(A[2])}
{A[1](loop i 1 2 (I[i]));A[2](A[1]; );O(A[2])}

rc19.png - prast teisendust "Use transformation language"
 - Valitud tipud: 81:And ja 87:And
 - sisestatud kood:
{n=2;loop i 1 n (I[i]=InputB;O[i]=OutputB;A[i]=And;);}
{loop i 1 n (A[i](I[i]);O[i](A[i]))}{loop i 1 n (O[i](I[i]))}

rc20.png - prast teisendust "Use transformation language"
 - Valitud tipud: 65:And ja 108:And
 - sisestatud kood:
{loop i 1 3 (I[i]=InputB);A1=And;A2=And;O=OutputB;}
{A1(I[1];I[2]);A2(I[3];A1);O(A2)}{A1(I[1];I[2]);O(A1)}

rc21.png - prast teisendust "Use transformation language"
 - Valitud tipud: 65:And ja 122:And
 - sisestatud kood:
{A1=And;A2=And;I1=InputB;I2=InputB;I3=InputB;O=OutputB}
{A1(I1;A2);A2(I2;I3);O(A1)}{A1( ;A2);A2(I2;I3);O(A1)}

rc22.png - prast teisendust "Use transformation language"
 - Valitud tipp: 122:And
 - sisestatud kood:
{I=InputB;O=OutputB;A=And}{A(I);O(A)}{O(I)}

rc23.png - prast teisendust "Use transformation language"
 - Valitud tipud: 65:And ja 73:And
 - sisestatud kood:
Deklaratsioonid: {
   n=2;m=2;
   loop i 1 n (
      A[i]=And;
      loop j 1 m (
        B[i,j]=InputB
      );
      OA[i]=OutputB
   );
}
Vasak DGFR: {
   loop i 1 n (
      A[i](loop j 1 m (B[i,j]));
      OA[i](A[i])
   )
}
Parem DGFR: {
	A[1](loop j 1 m (B[1,j]));
	loop i 1 n (OA[i](A[1]));
}

rc24.png - prast teisendust "Do for all..." -> "Various simplifications"



















