Código diminuído

O método estadoAtualApósSímbolos da classe Autômato faz o trabalho do
método validarSímbolos.