Быстрые алгоритмы разрешения эквивалентности операторных программ на уравновешенных шкалахстатья