Pozwoliłem sobie trochę inaczej sformatować kod (lepiej widać poziomy zagnieżdżenia):
i=N-2
T[N-1]=0
dopóki i>=0 wykonaj:
jeśli T[i+1]= 0 to:
T[i]=2;
w przeciwnym razie :
T[i]= 0;
i= i-1
Jak sprawdzić? Przyjmij N parzyste i "przejdź" po algorytmie wypełniając tablice. Potem N nieparzyste i tak samo.