Алгоритмический язык

Алгоритми́ческий язык — формальный язык, используемый для записи, реализации и изучения алгоритмов. Всякий язык программирования является алгоритмическим языком, но не всякий алгоритмический язык пригоден для использования в качестве языка программирования . В узком смысле слова алгоритмическим языком также называют семейство языков программирования Алгол.

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

Алголо-подобный алгоритмический язык с русским синтаксисом был введён в употребление академиком А. П. Ершовым в середине 1980-х годов, в качестве основы для «безмашинного» курса информатики. Впервые был опубликован в учебнике «Информатика-9» в 1985 г. Язык также использовался для записи алгоритмов в учебнике А. Г. Кушниренко «Основы информатики и вычислительной техники» для 9-10 классов (издание 1990 года было выпущено тиражом в 7 млн экземпляров).

Примеры

Алгоритм на алгоритмическом языке в общем виде записывается в форме:

алг название алгоритма (аргументы и результаты)
   дано условия применимости алгоритма
   надо цель выполнения алгоритма
нач описание промежуточных величин
|  последовательность команд (тело алгоритма)
кон

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

Пример вычисления суммы квадратов:

алг Сумма квадратов (арг цел n, рез цел S)
   дано | n > 0
   надо | S = 1*1 + 2*2 + 3*3 + … + n*n
нач цел i
|  ввод n; S:=0
|  нц для i от 1 до n
|  |  S := S + i * i
|  кц
|  вывод "S = ", S
кон

Е-практикум

Для подкрепления теоретического изучения программирования по алгоритмическому языку, специалистами мехмата МГУ в 1985 г. был создан редактор-компилятор «Е-практикум» («Е» — в честь Ершова), позволяющий вводить, редактировать и исполнять программы на алгоритмическом языке.

В 1986 г. для «Е-практикума» был выпущен комплект учебных миров (исполнителей): «Робот», «Чертежник»", «Двуног», «Вездеход», которые позволяют просто вводить понятия алгоритма. «Е-практикум» был реализован на компьютерах: Ямаха, Корвет, УКНЦ и получил широкое распространение.

Данный язык программирования постоянно дорабатывался и описание более позднего варианта «Е-практикума» появилось в учебнике 1990 года. Система программирования «КуМир» («Комплект Учебных Миров»), поддерживающая этот учебник, была выпущена в свет предприятием «ИнфоМир» в 1990 году. Язык этой системы также называется «КуМир».

Критика

Однако, следует заметить, что алгоритмический язык при отсутствии деталей, связывающих его с архитектурой компьютера напрямую, тем не менее, относясь к Алголо-подобным языкам, неявно обучает школьников опираться на фон-неймановскую архитектуру машин.^{[источник не указан 5610 дней]} Архитектура фон Неймана является практической реализацией более ранней идеи, имеющей название Машина Тьюринга. Кроме идеи Тьюринга существуют и другие идеи. Популярнейшая из них имеет название Лямбда-исчисление: над ней работал Алонзо Чёрч. Лисп-машина — это архитектура, которая основывается на Лямбда-исчислении.

См. также

• Псевдокод (язык описания алгоритмов)

Литература

• А. П. Ершов Алгоритмический язык в школьном курсе основ информатики и вычислительной техники // Микропроцессорные средства и системы. — 1985. — № 2. — С. 48—51., то же в архиве академика А. П. Ершова: [1].
• Д. В. Варсанофьев, А. Г. Кушниренко, Г. В. Лебедев. Е-практикум — программное обеспечение школьного курса информатики и вычислительной техники // Микропроцессорные средства и системы. — 1985. — № 3. — С. 27—32.

Ссылки

• Статья «Алгоритмический язык в школьном курсе основ информатики и вычислительной техники» в архиве академика Ершова
• А. П. Ершов. Алгоритмический язык в школьном курсе основ информатики и вычислительной техники. 07.05.1985