Si F=pF', evaluar recursivamente F'[p=1] y F'[p=0], aceptar si y solo si ambos la aceptan.