Цикл выполняется, пока a≠256. Значение a в цикле - это 2, 4, 8, ... 256, т.е. степени двойки от первой до восьмой. Переменная b накапливает сумму хначений а и первоначально ее значение 1. Получается, что
b=2⁰+2¹+2²+...+2⁸ = 2⁹-1 = 512-1 = 511.
Если непонятно, вспомните, как перевести двоичное число из девяти единиц в десятичное.