All these contributions involve proofs that the models are computationally equivalent to the Turing machine; such models are said to be Turing complete.
Сви ови доприноси укључују доказе да су модели су рачунски еквивалентни Тјуринговој машини; такви модели су, како је речено Тјуринг потпуни.