Denotaremos los autoestados utilizando la