Algorithmic Canonization