Классификация способов представления алгоритмов

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

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

Определение системы

Формальная система

Алгоритмическая машина Тьюринга

Формальная грамматика

Пример 4.9

Вернуться в оглавление: Теоретические основы информатики