/* Convierte un símbolo en un índice. */  
int find_index(int symbol) {  
  return symbol+1;  
}  
 
/* Convierte un índice en un símbolo. */  
int find_symbol(int index) {  
  return index-1;  
}