Informally, if such a model existed then each of its computers could be simulated by a Turing machine.
非形式的说，如果这种模型存在，则它的每个计算机都可以被一个图灵机模拟。