BZ>// Конструирует объект типа GRZIP_METHOD с заданными параметрами упаковки
BZ>// или возвращает NULL, если это другой метод сжатия или допущена ошибка при задании параметров
Полезный коментарий описывающий поведение функции.


BZ>COMPRESSION_METHOD* parse_GRZIP (char** parameters)
BZ>{
BZ>  if (strcmp (parameters[0], "grzip") == 0) {
BZ>    // Если название метода (нулевой параметр) - "grzip", то разберём остальные параметры
не очень полезный. я бы предложил так 
  if (strcmp (parameters[0], "grzip") != 0)
    {
       return NULL; // required signature "grzip" not found:
  }

BZ>    GRZIP_METHOD *p = new GRZIP_METHOD;
p - название переменной немного урезано.

BZ>    int error = 0;  // Признак того, что при разборе параметров произошла ошибка
int errorCount = 0; коментарий тут лишний по мне. 

BZ>    while (!error && *++parameters)  // Переберём все параметры метода
лишний коментарий, очевидно из контекста
BZ>    {
BZ>      char *param = *parameters;
BZ>      if (strlen(param)==1) switch (*param) {    // Однобуквенные параметры
BZ>        case 's':  p->AlternativeBWTSort  = 1; continue;
BZ>        case 'a':  p->AdaptiveBlockSize   = 1; continue;
BZ>        case 'l':  p->EnableLZP           = 0; continue;
BZ>        case 'd':  p->DeltaFilter         = 1; continue;
BZ>        case 'p':  p->AdaptiveBlockSize=0; p->EnableLZP=0; p->DeltaFilter=1; continue;
BZ>      }
BZ>      else switch (*param) {                    // Параметры, содержащие значения
BZ>        case 'm':  p->Method      = parseInt (param+1, &error); continue;
BZ>        case 'b':  p->BlockSize   = parseMem (param+1, &error); continue;
BZ>        case 'l':  p->MinMatchLen = parseInt (param+1, &error); continue;
BZ>        case 'h':  p->HashSizeLog = parseInt (param+1, &error); continue;
BZ>      }
Информация о формате параметров лучше бы лежала дет в одном месте , просто упоминание что есть однобуквенные с такими свойствами или многобуквенные с другими.

далее коментарий полезен тем что объясняет ожидаемое поведение парсера.
BZ>      // Сюда мы попадаем, если в параметре не указано его название
BZ>      // Если этот параметр удастся разобрать как целое число (т.е. в нём - только цифры),
BZ>      // то присвоим его значение полю MinMatchLen, иначе попробуем разобрать его как BlockSize
BZ>      int n = parseInt (param, &error);
BZ>      if (!error) p->MinMatchLen = n;
BZ>      else        error=0, p->BlockSize = parseMem (param, &error);
BZ>    }
BZ>    if (error)  {delete p; return NULL;}  // Ошибка при парсинге параметров метода
довольно мусорный коментарий как по мне

BZ>    return p;
BZ>  } else

тоже мусорный.
BZ>    return NULL;   // Это не метод grzip
BZ>}
BZ>

VD>int A(int m, int n)
VD>{
VD>  if (m == 0) return n + 1
VD>  else if (n == 0) return A(m - 1, 1)
VD>  else return A(m - 1, A(m, (n - 1)))
VD>}
VD>