Função adicionada e reparos

SET_STATES: Dado que já se conhece o estado de destino (letra K ao inves
de q), seta todos os possiveis estados iniciais. Para completar o
processo é necessário rodar a CHECK_STATES