Алгоритм на псевдокоде
BL (p: pVertex, Уменьшение: boolean)
IF (p→Bal = -1) p→Bal := 0
ELSEIF (p→Bal = 0) p→Bal := 1, Уменьшение := ЛОЖЬ
ELSEIF (p→Bal = 1)
IF (p→Left→Bal ≥ 0) <RR1-поворот>
ELSE <RL - поворот> FI
FI
Рисунок 46 Три случая при удалении вершины из левого (для BL) поддерева