Busca acelerada baseada em DP para tradução estatística | Synapse