Un estado final con un estado no-final nunca serán equivalentes.