Todos estos sistemas reciben el nombre de Turing-completos porque son capaces de computar el mismo conjunto de funciones que una máquina de Turing.