ВУЗ:
Составители:
Совокупность всех входных слов, с которыми работает оператор,
называется областью его определения. Область определения может быть
конечной и бесконечной. В первом случае оператор задается в виде таблицы,
во втором - системой правил. Эта система должна быть конечной и задавать
соответствие за конечное число шагов.
В алфавитном отображении важным является понятие соответствия
, а
не способа, которым это соответствие задано. В понятии же алгоритма
основным является способ задания соответствия. Таким образом, алгоритм -
это алфавитный оператор вместе с правилами, определяющими способ его
выполнения.
Частичным алгоритмом называется совокупность конечного числа
команд, выполняемых механически за конечное время и с оцениваемыми
конечными затратами. Примером частичного алгоритма является
программа.
Алгоритмом называется такой частичный алгоритм, который после
некоторого конечного числа шагов либо исчерпывает все команды и выдает
результат, либо выдает информацию о невозможности получения результата.
Всевозможные уточнения приведенных и других определений, как
оказалось, адекватны. В соответствии с так называемым тезисом Черче:
- все уточнения интуитивного понятия алгоритма эквиваленты;
- все
алгоритмы в точном смысле являются одновременно и
алгоритмами в интуитивном смысле.
Алгоритмы, ставящие в соответствие одному входному слову одно
выходное, называются детерминированными.
Алгоритмы обладают следующими свойствами.
- Массовость. Это способность быть применимым для решения
множества задач.
- Результативность. Это свойство обеспечивает получение результата
за конечное число шагов.
Страницы
- « первая
- ‹ предыдущая
- …
- 4
- 5
- 6
- 7
- 8
- …
- следующая ›
- последняя »
