Irreducibility and Computational Equivalence