Conta(T)
{
   num = 0 // variabile globale
   ContaRN(root(T));
   return num;
}	

ContaRN(u)
{
   if (u = NIL) return 0;
 
   if (colore[u] = rosso) val = 1;
   else  val = -1;

   val = val + ContaRN(left[u]) + ContaRN(right[u]);
 
   // se val = 0, il sottoalbero radicato in u contiene
   // lo stesso numero di nodi rossi e nodi neri.
   if (val = 0) num++;

   return val;
}