1:
2:
3:
4:
5:
6:
7:
8:
9:

type
  Zeiger = ^Knoten;                //Definition eines Zeigertyps
  tInhalt = string[1];             //Knoteninhalt wird auf ein Zeichen beschränkt
  Knoten = record
    links: Zeiger;       //Zeiger auf linkes Folge-Element
    rechts: Zeiger;      //Zeiger auf rechtes Folge-Element
    Inhalt: tInhalt;     //Inhalt des Knotens
    balance: integer;    //gibt Differenz der linken und rechten Folgeelemente an (z.B. -2 --> 2 Elemente links zu viel)
  end;					

1:
2:
3:
4:
5:
6:
7:
8:
9:
10:
11:
12:
13:
14:
15:
16:
17:
18:
19:
20:

procedure TForm1.ButtonBalancierenClick(Sender: TObject);
var zw,zw2: Zeiger;                  //Zeiger zum Zwischenspeichern
  procedure Balancieren(var z: Zeiger);
  begin
    if z<> nil then
    begin
      Balancieren(z^.links);
        if z^.balance>1 then
        begin
          zw:=z;
          zw2:=z^.rechts;
          z:=zw2;
          z^.links:=zw;
        end
    end;
  end;
begin
  Balancieren(wurzel);
  ausgeben(wurzel);
end;					

1:
2:
3:
4:
5:
6:
7:
8:
9:
10:
11:
12:
13:
14:
15:
16:
17:
18:
19:
20:
21:
22:
23:
24:
25:

  private TNode AVL_RotateLeft(TNode node)
  {
    //      x          y
    //     /         / \
    //    y    ->   z   x
    //   /
    //  z  
    
    //  x.LeftChild -> y.RightChild
    //  y.RightChild  -> x
    
    //  wobei x=node y=node.LeftChild und z=node.LeftChild.LeftChild
    
    TNode y;
    
    y=node.LeftChild;
    
    node.Balance=node.Balance+2;
    y.Balance=y.Balance+1;
    
    node.LeftChild=y.RightChild;
    y.RightChild=node;
    
    return y; // y ist neue Wurzel
  }					

1:
2:
3:
4:
5:
6:
7:
8:
9:
10:
11:
12:
13:
14:
15:
16:
17:
18:
19:
20:
21:
22:
23:
24:
25:
26:
27:

procedure TForm1.ButtonBalancierenClick(Sender: TObject);
var zw,zw2,zw3: Zeiger;                  //Zeiger zum Zwischenspeichern
  procedure Balancieren(var z: Zeiger);
  begin
    new(zw);                       
    zw^.rechts:=nil;
    zw^.links:=nil;
    zw^.balance:=0;
    new(zw2);
    zw2^.rechts:=nil;
    zw2^.links:=nil;
    zw2^.balance:=0;
    new(zw3);
    zw3^.rechts:=nil;
    zw3^.links:=nil;
    zw3^.balance:=0;

    zw:=z^.links;                  // Linker Teilbaum wird zwischengespeichert
    zw2^.inhalt:=z^.inhalt;        // Inhalt der Wurzel wird zwischengespeichert
    z:=zw;                         // Wurzel wird durch linken Teilbaum ersetzt
    zw3^.inhalt:=zw2^.inhalt;
    z^.rechts:=zw3;
  end;
begin
  Balancieren(wurzel);
  GrafikSteuerung();
end;					

1:
2:
3:
4:
5:
6:
7:
8:
9:

    var y:Zeiger;
    [...]
    y:=z^.links;
    
    z^.Balance:=z^.Balance+2;
    y^.Balance:=y^.Balance+1;
    
    z^.links:=y^.rechts;
    y^.rechts:=z;					

1:
2:
3:
4:
5:
6:
7:
8:
9:
10:
11:
12:
13:
14:
15:
16:
17:
18:
19:
20:
21:
22:
23:
24:
25:
26:
27:
28:
29:
30:
31:
32:
33:
34:
35:
36:
37:
38:
39:
40:
41:
42:
43:
44:
45:
46:
47:
48:
49:
50:
51:
52:
53:
54:
55:
56:
57:

procedure TForm1.ButtonBalancierenClick(Sender: TObject);
var y,x: Zeiger;                                                          //Zeiger zum Zwischenspeichern
procedure Balancieren(var z: Zeiger);
  begin
    if z<>nil then
    begin
      Balancieren(z^.links);
      if z^.balance<-1 then
      begin
        y:=z^.links;
        if y^.balance>0 then
          begin
            x:=y;
            y^.Balance:=y^.Balance-2;
            x^.Balance:=x^.Balance-1;
            y^.rechts:=x^.links;
            x^.links:=y;
            y:=x;
          end
        else
          begin
            z^.Balance:=z^.Balance+2;
            y^.Balance:=y^.Balance+1;
            z^.links:=y^.rechts;
            y^.rechts:=z;
            z:=y;
          end;
        end;
      end
      else if z^.balance>1 then
      begin
        y:=z^.rechts;
        if y^.balance<0 then
          begin
            x:=y;
            y^.Balance:=y^.Balance+2;
            x^.Balance:=x^.Balance+1;
            y^.links:=x^.rechts;
            x^.rechts:=y;
            y:=x;
          end
        else
        begin
          z^.Balance:=z^.Balance-2;
          y^.Balance:=y^.Balance-1;
          z^.rechts:=y^.links;
          y^.links:=z;
          z:=y;
        end;
      end;
    Balancieren(z^.rechts);
  end;
begin
  Balancieren(wurzel);                      //Aufruf der Balance-Prozedur
  Balance_Test(wurzel);                     //Neue Balancewerte werden ermittelt
  GrafikSteuerung();                        //Grafik wird neu gezeichnet
end;