This is called Turing completeness, and it turns out there are many such Turing-complete systems.

这被称为图灵完备性，事实证明存在许多这样的图灵完备系统。