Beweisen oder widerlegen Sie (im Backus-FP-System):

  p->(q->r;s);(t->u;v) = (p->q;t)->(p->r;u);(p>s;v)
      

1. (Iteratonstheorem) Seien p, g, h und k ohne Verwendung von f definierte Funktionen, und sei f minimal mit der Eigenschaft
   def f = p->g;hofok
   Zeigen Sie, das dann gilt
   f = p->g;pok->hogok; ... ;pokn->hnogokn; ...
2. Schreiben Sie die fibonacci-Funktion ein eine entsprechende Form und beweisen Sie sie mit dem Iterationstheorem.

Schreiben Sie ein BRL-Programm, das den grössten gemeinsamen Teiler (ggt) von zwei natürlichen Zahlen berechnet. (Nehmen Sie dabei den Modulo-Operator mod als gegeben an.)