Por facilidad, se denotará a los estados de las siguientes formas