[[Procedura]] generale per risolvere un [[problema computazionale]] che deve:
- essere **finita**
- **non** essere **ambigua**
- essere **effettivamente realizzabile**
- terminare **in un tempo finito**