Los lenguajes con poder de expresión equivalente al de una máquina de Turing se denominan Turing completos.