Основы алгоритмизации в информационных системах. Белов М.П. - 8 стр.

UptoLike

Составители: 

Если бы мы знали алгоритмы решения всех задач, то их исполнение
можно было бы поручить машине. Но оказалось, что не все задачи, которые
нам хотелось бы решить, имеют алгоритмы решения. Задачи, в принципе не
имеющие общего решения, называют алгоритмически неразрешимыми. К
примеру, мы знаем, как решить любое квадратное алгебраическое уравнение,
пользуясь одним и тем же алгоритмом. Похожие формулы существуют и для
кубических уравнений и для уравнений четвертой степени. Но уже для урав-
нений степени выше четвертой таких формул нет и в принципе быть не мо-
жет, хотя в частном случае отдельные уравнения можно решить. Есть и другие
алгоритмически неразрешимые задачи, например задача о трисекции угла, о
квадратуре круга и др.
1.2. Свойства алгоритмов
Алгоритмы обладают целым рядом свойств [1]: понятностью, дискрет-
ностью, точностью, результативностью, массовостью.
Свойства алгоритманабор свойств, отличающих алгоритм от любых
предписаний и обеспечивающих его автоматическое исполнение.
Понятность для исполнителясодержание предписания о выполнении
только таких действий, которые входят в систему команд исполнителя, т. е.
алгоритм должен быть задан с помощью таких указаний, которые исполни-
тель (персональный компьютер, промышленный компьютер, контроллер, одно-
кристальная микроЭВМ и др.) может воспринимать и выполнять по ним тре-
буемые действия (операции).
Дискретность (прерывность, раздельность) – выполнение команд алго-
ритма последовательно, с точной фиксацией моментов окончания выполнения
одной команды и начала выполнения следующей, т. е. алгоритм должен содер-
жать последовательность указаний (команд), каждое из которых приводит
к выполнению в исполнителе одного шага (действия).
Определенностькаждое правило алгоритма должно быть четким,
однозначным. Благодаря этому свойству выполнение алгоритма носит меха-
нический характер и не требует никаких дополнительных указаний или све-
дений о решаемой задаче.
Результативностьлибо завершение решения задачи после выполнения
алгоритма, либо вывод о невозможности продолжения решения по какой-либо
из причин, т. е. алгоритм должен обеспечивать возможность получения резуль-
8