Agora aceita um estado com dois prefixos iguais caso a verificação do
topo da pilha seja diferente