Documento de apoio com os algoritmos de resolução de expressão