Алгоритм – точное предписание, которое по каждому элементу из заданного множества исходных данных выполняет определенную последовательность простейших действий, приводящих к искомому результату по условию задачи.
Х – множество исходных данных.
а€X|->A(a) - результат и |=Ф(А(а))
Алгоритм – точное предписание, которое по каждому элементу из заданного множества исходных данных выполняет определенную последовательность простейших действий, приводящих к искомому результату по условию задачи.
Х – множество исходных данных.
аÎ Х |® А(а) – результат и |=Ф(А(а))
Если результат не может быть получен, то говорят, что алгоритм не м.б. применим к полученным данным, либо результат не определен.
Характерные черты:
- Детерменированность(т.е. результат и шаги однозначно определяются по исходным данным)
- Дискретность(действия осуществляются по нумерации: шаг1, шаг2…)
- Элементарность шагов
- Массивность
Способы:
- Нормальные алгоритмы Маркова(Алгоритм – последовательность замен)
- Машины Тьюринга(Алгоритм – вычисления на машине Тьюринга)
- Алгоритм – частично-рекурсивных функций.
Подходы имеют один результат.
Если результат не может быть получен, то говорят, что алгоритм не м.б. применим к полученным данным, либо результат не определен.
Характерные черты:
- Детерменированность(т.е. результат и шаги однозначно определяются по исходным данным)
- Дискретность(действия осуществляются по нумерации: шаг1, шаг2…)
- Элементарность шагов
- Массивность
Способы:
- Нормальные алгоритмы Маркова(Алгоритм – последовательность замен)
- Машины Тьюринга(Алгоритм – вычисления на машине Тьюринга)
- Алгоритм – частично-рекурсивных функций.
Подходы имеют один результат.
Тезис Чёрча:
Класс всех алгоритмически вычислимых функций совпадает с классом частично рекурсивных функций.
