Все очевидно - схема гораздо нагляднее

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

Элементарно:
здесь просто не хватает одного промежуточного уровня абстракции.
Типа псевдокода.

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

При реализации такой схемы можно исходить из следующего.

* уровни описания совмещаются по горизонтали, т.е. каждой степени формальности соответствует колонка;
* текст м.б. сформирован как "отчёт" (вьюшка) от граф-базированной записи, причём уровни в отчёт включаются по выбору;
* для отражения соответствия "один в один" можно применять "формальное комментирование".

Примерно так. Интересны будут другие мнения.

...
Сей факт лучше заметен на диаграмме, если смотреть на неё издалека -- но это по причине плохой структуры кода, испорченной begin-end'ами и неиспользованием белого пространства для визуальногоо разделения частей.

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

2. От каких программистских? От записей и указателей? Так тогда мы возвращаемся к качественным илллюстрациям {большого/малого; правого/левого} вращений из ВП-статьи. Они и правда больше дают для понимания решения задачи...

Т.е. перейти к "родному" прогязыку (псевдокоду)?.. А как со структурами данных?..

Все очевидно - схема гораздо нагляднее

Еще одно коренное отличие - это то, что в иконах вписывается непосредственно код, а комментарии - внутри, видны при выделений иконы.
В ИС Дракон Тышова - наоборот, снаружи человеческий язык, а внутри расписание код.
И это, по-моему, правильнее.

В.И. Шелехов
Предикатная программа вставки в АВЛ-дерево

Операции с АВЛ-деревьями компактно и элегантно представляются в языках функционального программирования, см. например [4, 5].

Однако функциональные программы для таких операций, как вставка или удаление вершины, заведомо неэффективны, поскольку определяют построение нового дерева, а не модификацию исходного.

В рамках предикатного программирования делается попытка, возможно впервые, построения таких алгоритмов (рекурсивного и нерекурсивного) вставки в АВЛ-дерево, чтобы применением оптимизирующих трансформаций получить эффективные императивные программы, подобных представленным в [1–3].

Заключение

Предпосылкой появления данной работы стала дискуссия на форуме [3] о том, какая из программ вставки в АВЛ-дерево лучше: на языке Оберон или графическом языке Дракон [6].

Эргономические методы, применяемые в языке Дракон, существенно улучшают восприятие программы.

Тем не менее, программа не выглядит проще. Причина – исходная сложность императивной программы.

Методы предикатного программирования: использование рекурсивных программ вместо циклов, алгебраических типов вместо указателей и др. позволяют в несколько раз снизить сложность программы по сравнению с аналогичной императивной программой, в частности с программами на форуме [3].

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

В описании библиотеки libavl [2] используется однократный указатель, однако при этом дополнительно поддерживается указатель на предыдущую вершину-отца.

Как следствие, алгоритм получается более громоздким и менее эффективным в сравнении с приведенным в настоящей работе.

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

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

Работа выполнена при поддержке РФФИ, грант № 12-01-00686.

Литература

1. Википедия. АВЛ-дерево. http://ru.wikipedia.org/wiki/%D0%90%D0% ... 0%B2%D0%BE

2. Ben Pfaff. GNU libavl 2012. An Introduction to Binary Search Trees and Balanced Trees. ftp://ftp.gnu.org/pub/gnu/avl/avl-2.0.2.pdf.gz

3. АВЛ-дерево. Алгоритм добавления вершины. viewtopic.php?f=78&t=4003

4. R. Hettler, D. Nazareth, F. Regensburger, O. Slotosch. AVL trees revisited: A case study in Spectrum. LCNS, vol. 1009, 1995, pp 128-147.

5. AVL Tree in Haskell. https://gist.github.com/gerard/109729

6. Паронджанов В. Д. Язык ДРАКОН. Краткое описание. — М., 2009. — 124 с.

7. Карнаухов Н.С., Першин Д.Ю., Шелехов В.И. Язык предикатного программирования P. Версия 0.12 — Новосибирск, 2013. — 52с. http://persons.iis.nsk.su/files/persons ... lang12.pdf

8. Каблуков И. В. Реализация оптимизирующих трансформаций предикатных программ // XIV Всероссийская конференция молодых ученых по математическому моделированию и информационным технологиям.  Томск, 2013.  7с. http://conf.nsc.ru/files/conferences/ym ... 69/177104/Опт.%20трансформации.pdf

Читать дальше ...