Con estas definiciones, estas máquinas tienen el mismo poder de expresión que una máquina de Turing.