Es decir, existen tareas que la máquina puede hacer, pero que un lenguaje de alto nivel no permite.