В этой главе рассмотрено несколько классических алгоритмов символьных преобразований, таких как вычисление значения символьного выражения, упрощение формулы и др. Выражения представлены деревьями, узлами ко­торых служат элементы этих выражений, так что обработка дерева обычно состоит в обходе всех узлов и выполнении обработки содержащейся в узлах информации.

В разд. 4.1 рассматриваются способы представления формул (символьных выражений) в виде деревьев. В разд. 4.2 приводится алгоритм вычисления значения выражения по заданным значениям операндов. В разд. 4.3 рассмат­риваются несколько алгоритмов преобразования формул.