コンピューティング
「計算理論」には、計算可能性理論による「計算可能」という概念がある(ただし現実のコンピュータが行っている処理はそれよりも広い)。