Рассмотренные в предыдущей главе вопросы, связанные с формализацией представления алгоритмов, безусловно, имеют не только теоретическое значение. Выбор формы представления алгоритма является одним из этапов решения любой задачи, если решение предполагается осуществлять посредством какого-либо исполнителя. Однако начинается решение не с этого, а с постановки (формулировки) задачи на естественном языке. Примерами таких постановок могут быть: описать поведение тела, двигающегося в среде с сопротивлением; описать последствия ядерной войны; построить оптимальный вариант транспортных перевозок; спрогнозировать последствия сброса промышленных отходов в водоем и т.п. Будем считать, что такая постановка осуществлена; и интересны этапы решения задачи, следующие за постановкой, но предшествующие формальному представлению алгоритма. Другими словами, прослеживаем всю последовательность решения задачи с помощью исполнителя и, в частности, компьютера.
Как увидим, интересующие этапы связаны с выделением систем и построением моделей. Эти шаги тесно связаны друг с другом, поскольку выделение системы есть моделирование, а модель, в свою очередь, является системой. Тем не менее, прежде чем обсуждать связи между понятиями «система» и «модель», их взаимопроникновение и взаимообусловленность, рассмотрим их по отдельности.