começo Determinizador.java