Изменения

grey_code(not t, j + 1); {повторяем процедуру}

end;