список не деталізованих інструкцій, що реалізують процес обчислення

набір деталізованих інструкцій, які описують порядок дій, щоб досягти результату розв'язання задачі за скінченну кількість дій

система правил, яка описує скінченну послідовність дій, необхідних для розв'язання задачі

система правил, яка описує нескінченну послідовність дій, необхідних для розв'язання задачі

послідовність дій, що забезпечує одержання необхідного результату з вихідних даних за нескінченну кількість дій