Transformational reducibility and synthesis of algorithms and programs of symbolic processing