単純なチューリング マシンは 2 つの整数を加算できます。つまり、任意の 2 つの整数を加算できます。有限辞書はできません。
編集:
(soandosが窮屈なコメントボックスで回答するにはあまりにも良い点を指摘したため、回答を編集しています。)
良い質問!{key, value} のペアを列挙した無限の辞書があるとします。ここで、キーは、チューリング マシンとその有限入力のすべての可能な組み合わせ (または、ユニバーサル チューリング マシンへのすべての可能な有限入力シーケンス) であり、サイズの大きい順に並べられています。値は対応する最終状態であり、[HALTS, DOES NOT HALT] を示す先行ビットが付いています。これはチューリング完全であると私は主張します。(エントリを検索する行為は自明であり、それについて議論する必要はないと思います)。
停止問題の解決不可能性は、JSoldi の Dictionary に相当します。特定のサイズを下回るエントリの [HALT, DOES NOT HALT] ビットを検索できるようにしたい場合は、辞書の有限部分のみが必要です。しかし、チューリング マシンとしてディクショナリの多くを実装するには、その制限サイズよりも大きなマシンが必要になります。エントリはディクショナリのその部分には含まれません。どのようなサイズのマシンでも、そのサイズのすべてのマシンの停止問題に答えることができるマシンがありますが、そのマシンはより大きく、それ自体についての質問に答えることができません。同様に、辞書の有限量はどこかの項目 (実際には無限に多くの項目) で完全に繰り返されますが、その項目はその量にはありません。