Substituição do DCFL dd com hashing
