Алгоритмизация – 1) Этап решения задачи, состоящей в нахождении по формулировке задачи алгоритма ее решения. 2) Раздел информатики, изучающий метод, приемы построения алгоритмов и их свойства.
Алгоритм – понятное и точное предписание совершить определенную последовательность действий, направленных на достижение указанной цели или решение поставленной задачи.
В теории алгоритмов большое внимание уделяется общим способам задания алгоритмов, характеризующимся свойством универсальности, то есть способам, которые позволяют задать алгоритм, эквивалентный любому наперед заданному алгоритму.
Всякий общий способ задания алгоритмов называется алгоритмической системой.
При описании алгоритмических систем используются специальные формализованные средства. Основные формализмы прикладной теории алгоритмов можно разделить на два направления: «алгебраическое» и «геометрическое».
«Алгебраическая» теория строится в некоторой конкретной символике, при которой алгоритмы рассматриваются как некоторые линейные тексты.
В «геометрической» теории алгоритмы строятся в виде множеств, между которыми вводятся связи, носящие характер отображений или бинарных отношений. При этом объекты часто представляются в виде графов, вершины которых задают элементы множества, а ребра – отношения между ними. Отображения в этом случае задаются в виде разметки вершин или ребер графа.