b'\n_START_ARTICLE_\nEstrat\xc3\xa9gia de redu\xc3\xa7\xc3\xa3o\n_START_PARAGRAPH_\nEm otimiza\xc3\xa7\xc3\xa3o de c\xc3\xb3digo durante a tradu\xc3\xa7\xc3\xa3o de programas computacionais em um execut\xc3\xa1vel e em redu\xc3\xa7\xc3\xa3o matem\xc3\xa1tica, uma estrat\xc3\xa9gia de redu\xc3\xa7\xc3\xa3o para um sistema de reescrita de termos determina qual subtermos reduz\xc3\xadveis (ou express\xc3\xb5es reduz\xc3\xadveis, redexes) devem ser reduzidos em um termo. Pode ser o caso de um termo conter m\xc3\xbaltiplos redexes que s\xc3\xa3o disjuntos um do outro, e que a escolha para contrair um redex antes de outro ter\xc3\xa1 nenhuma influ\xc3\xaancia no resultado da forma reduzida da express\xc3\xa3o. Um outro caso \xc3\xa9 que os redexes em um determinado termo que se sobrep\xc3\xb5em, a sua escolha para contrair uma sobreposi\xc3\xa7\xc3\xa3o dos redexes sobre o outro pode resultar em uma forma diferente de redu\xc3\xa7\xc3\xa3o para o termo._NEWLINE_Veja em estrat\xc3\xa9gia de avalia\xc3\xa7\xc3\xa3o um caso espec\xc3\xadfico.'