esto es, formula_17 denota la primera vez que la cadena entra al conjunto de estados C.