Улучшение эргономичности алгоритмов с помощью цепочки эквивалентных преобразований

Когда рисуешь алгоритм, нужно стремиться, чтобы он с самого начала удовлетворял правилам и был эргономичным. А если это не получилось? Если первый блин комом, как на рис. 31 а? В этом случае необходимо довести алгоритм до ума с помощью последовательности эквивалентных преобразований. Вообще говоря, в примере на рис. 31 а достаточно сделать всего две рокировки (преобразовав обе развилки)
и мы сразу получим нужный ответ — искомую эргономичную схему на рис. 31 д.

Однако, чтобы сделать изложение более наглядным, лучше избрать другой путь и двигаться к цели мелкими шажками. Для начала используем визуальную формулу на рис. 32 и с ее помощью заменим нижнюю развилку на рис. 31 а на икону-вставку “Приведи комнату в порядок”. Результат подстановки представлен на рис. 31 б. Затем выполним рокировку и получим схему на рис. 31 в. После этого произведем обратную подстановку по формуле на рис. 32 и заменим икону-вставку на раз­вилку “Чернильница разбилась?” Полученная схема показана на рис. 31 г. Наконец, делаем еще одну рокировку и приходим к искомой эргономичной схеме на рис. 31 д.

Для удобства читателя на рис. 33 дана общая сводка эквивалентных преобразований.

Выводы

1. Понятие эргономичного алгоритма весьма актуально. Применение достижений эргономики к теории алгоритмов позволяет значительно улучшить понимаемость алгоритмов и программ.

2. Понятие эргономичного алгоритма задается с помощью конечного набора четко определенных правил и признаков, таких, как “главный маршрут должен идти по шампуру” и т. д. Следовательно, это понятие является строгим.

3. Рассмотренные выше четыре эквивалентных преобразования алгоритмов подтверждают, что эргономичность алгоритмов можно улучшить с помощью простых и ясных методов, которые в некотором смысле можно считать формальными.

Дата добавления: 2015-08-21