23 Представление алгоритмов.

В число основных составляющих сценария входит алгоритм выдачи учебного материала или описание логической структуры АУК.

В зависимости от степени детализации, поставленных целей, методов и технических средств используются различные способы представления алгоритмов.

На практике наиболее распространены следующие формы представления:

- содержательная (текстуальная) форма;

- графическая форма;

- представление алгоритмов на языках программирования ЭВМ.

24 Совестное описание.

В процессе пошаговой разработки алгоритма строится целый ряд описаний разработанного алгоритма, каждое из которых предназначено не для машины, а для человека. Это не означает, что какое-то из описаний является неполным или неточным. Ориентация на человека, а не на машину требует, чтобы шаги алгоритма записывались в терминах тех объектов и отношений между ними, о которых идет речь в формулировке задач. Например, если задача связана с обработкой графа, то шаги алгоритма следует описывать в терминах действий над вершинами, дугами, проверяя такие свойства, как смежность и т.п. В любом случае в последовательно уточняемых абстрактных описаниях алгоритма не должна сразу появляться работа с кодами этих объектов, например, с состоящей из нулей и единиц матрицей смежности графа.

Поэтому описание алгоритма должно состоять из двух частей:

1) описание тех типов данных и операторов, которые не являются конструкциями языка Zonnon, но будут использоваться в описании алгоритма,

2) собственно описание алгоритма, в котором шаги алгоритма записываются в терминах конструкций языка Zonnon, введенных типов данных и операторов, с использованием математической и иной удобной символики.

Например, первая часть может содержать описания типов данных, аналогичных рассмотренным в предыдущем параграфе, или описание конструкции цикла-для-всех.

цикл-для-всех::=for all переменная fromмножествоdo последовательность-операторов end

Исполнение цикла-для-всех состоит в исполнении оператора, указанного в теле цикла, для каждого элемента множества, взятого в качестве текущего значения переменной.

28 Формализация понятия алгоритма.

Введенного на интуитивном уровне понятия алгоритма и опытным путем установленных свойств алгоритмов вполне достаточно для решения широкого круга математических задач. Достаточно такого подхода и при решении практических задач программирования компьютеров. Однако, в тех случаях, когда задача оказывается сложной и алгоритмическое решение задачи найти не удается, встает вопрос о ее алгоритмической разрешимости. При этом требуется понятие алгоритма формализовать, т.е. четко определить исполнителя алгоритмов, с помощью которого можно провести доказательство алгоритмической неразрешимости задачи. В первой половине XX века почти параллельно было разработаны несколько подходов к формализации алгоритмов — рекурсивные функции, абстрактные машины Тьюринга и Поста, λ-исчисление, нормальные алгорифмы (так это традиционно называется в математике) Маркова, впоследствии оказавшиеся эквивалентными. Некоторые из этих подходов оказали воздействие на становление информатики и нашли отражение в производственных языках программирования — таких как Lisp (λ-исчисление), Рефал (нормальные алгорифмы Маркова). Последний язык — используется в исследованиях и разработках в области искусственного интеллекта, — кстати, чуть ли не единственный, разработанный в России и получивший мировое признание.Формализованные подходы к алгоритмам в информатике обладают высокой образовательной ценностью. Так, абстрактные машины Тьюринга и Поста являются прекрасными средствами освоения алгоритмизации даже при безмашинном варианте преподавания информатики начиная со средних классов школы. Кроме того, не ослабевает уверенность, что на базе математической теории алгоритмов в ближайшие годы сформируется соответствующий теоретический раздел информатики.