Zuse Z3
Z3は、条件分岐命令を持っていない(代わりに条件によって一命令をスキップする命令を持っている)。しかし、Z3によって任意のチューリングマシンをシミュレート可能であると、Raúl Rojasによって1998年に示されており、(Z3のアドレス空間を、チューリングマシンに必要な「無制限のテープ」のために「十分に広い」とみなせば)チューリング完全すなわち、計算可能なものは計算できる能力がある。手法としては、他の制限の強い計算機構のいくつかで見られる多くの同様の主張のものに似ている。あらましを以下に簡単に述べる。Z3にプログラムの命令を供給するテープは、チューリングマシンの「テープ」ではなく、「テープ」を読み書きする「ヘッド」を制御する有限状態機械のために使う。状態が有限個なので、テープにその全ての状態に対応するコード片を表現し、最後を最初につなげてループ状のテープにすれば、機械はそのループを大きな1個の(無限)ループとして実行できる。