Supongamos una secuencia de estados formula_5.