Любая идея, как интерпретировать эти двоеточия псевдокода?

Question

Это мой первый пост. Так что, пожалуйста, будьте осторожны.

Мой профессор дал мне этот псевдокод, чтобы следовать, но я не знаю, как интерпретировать двоеточия и od;.

Я добавил изображение того, что он дано нам, но также имеет псевдокод, напечатанный ниже

read12Bits() : 12Bit =
  declare Result : 12Bit = 0; 
  for i = 1 to 12
    do
      declare lBit : Bit = input() // get next bit 
      if ( lBit == 1 )
       then Result = (1 << (i-1)) + Result; //set bit at index i
    od;
  return Result;

Answer 1

Если бы я интерпретировал это:

• read12Bits() : 12Bit: read12Bits - это метод, который возвращает 12Bit
• declare Result : 12Bit = 0: Результатом является переменная типа 12Bit. Результат имеет значение 0
• do od - пара. Блок do начинается с do и заканчивается на od, аналогично if, fi в сценариях оболочки

Интересно, это синтаксис Алгола 68: https://en.wikipedia.org/wiki/For_loop#1968 : _Algol_68