チューリング・マシン（Turing Machine, TM）は、計算理論を代表する抽象的な計算系であり、単純な規則から複雑な振る舞いが生まれる典型例として扱われる。提示された文脈では、TMは数学的な道具としてだけでなく、物理的な動的システムとしても捉え直されており、その最小構成における万能性が重要な論点となっている。

チューリング・マシン研究の一つの焦点は、「最小の万能チューリング・マシン」を見つけることである。1956年にクロード・シャノンがこの問題を提起して以来、万能性を達成するには複雑な状態遷移が必要だと考えられてきたが、文脈中では2状態3記号の(2,3)チューリング・マシンが万能である可能性が示され、2007年にアレックス・スミスによってその万能性が証明されたとされる。このマシンのルールセットは6本の命令から成る。

ただし、この(2,3)マシンは「弱い万能性」に基づく点が重要である。標準的な万能チューリング・マシンが空白テープから開始するのに対し、この場合はテープ両端に特定の繰り返しパターンを許容する。批判としては初期条件に複雑性を押し込めているという指摘があるが、文脈では、システム自体の計算能力が本質であるという見方が示されている。こうした議論は、計算能力が高度な設計に限られず、単純な相互作用の連鎖の中に遍在しうることを示唆している。