ノイマン型
チューリングマシンを、可能な範囲で実現・具体化(実装)するもので、記憶装置を仮に、必要であれば必要なだけ無制限に追加できるものとすれば、計算模型として(「ノイマンマシン」と呼ばれることがある)見た場合チューリング完全とみなせることになる。また、二進法の採用も、要件に含めることがある(二進法と、二進法の基本的な演算(論理演算)の組み合わせで、あらゆるディジタル処理が可能である)。ノイマン型コンピュータを計算模型として定義したものとしてRAMマシン(ランダムアクセスマシン)がある。
また、ノイマンの思考はチューリングマシンを通してのものではなく、ゲーデル数からの直接のものではないだろうか、とする論者もいる(ノイマンは不完全性定理とも深くかかわっている)。