while x <> y do
begin
 ... // Befehlsfolge, die öfters ausgeführt werden soll
end;