Ü12-3: Iteration von Typisierungsregeln

a) Bilden Sie aus der Liste 〈 X1X2 〉 der Mengen X1X2 im ersten Schritt mit der Regel (R2) die Liste 〈 X1, X2X2 × X1 〉.

b) Bilden Sie aus der Liste 〈 X1X2 〉 mit den Regeln (R3), (R2) eine Liste, deren letzte Komponente eine Menge X1 × ℘ ( X2 ) ist.

c) Bilden Sie aus 〈 X1X2 〉 eine Liste, deren letzte Komponente die Menge ( X2 × ( X1 × X2) ) × X1 ist.