Universal computation is the ability to compute anything that can in principle be computed. Universal computation is equivalent in computing power to a Turing machine or the lambda calculus.