generalization of ordinary algorithms that are more powerful, that is, compute more than Turing machines