Объяснение:
выражение c:=a=b; означает положить в переменную с результат сравнения переменных a и b и делать это пока a < b, вероятней всего программа зациклится
Если бы было написано
while a<b do c:=a:=b;
тогда цикл отработает 1 раз и все 3 переменные будут равны b
