Donde el superíndice k nos indica que hay más de un autoestado asociado a formula_2.