OberonCore

Вот мне творческая задача:
Описать синтаксис этого языка и реализовать транслятор.

Думаю, что это будет полезное упражнение.

Помня об этой теореме, полезно при этом не забывать и замечание Дейкстры: Источник: "О вреде оператора GOTO".

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


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

Кстати, если кто не в курсе, в цифровой технике, на мой взгляд есть некий аналог теоремы Бёма-Якопини: любое цифровое устройство (хоть комбинационное, хоть последовательностное) можно построить, используя только лишь один базовый логический элемент 2И-НЕ (в нужном количестве). Принципиальная электрическая схема устройства при этом, в полном соответствии с замечанием Дейкстры, в общем случае не становится ни проще, ни понятнее. На практике в распоряжении разработчика находится широкий набор как базовых логических элементов (если собирать схему на "рассыпухе"), так и готовых интегральных схем (регистры, триггеры и т.д.)

Я пока воздержусь от ответа. Хочу досконально во всём этом разобраться.

Рекомендую перечитать раздел "О понимании программ" из статьи Дейкстры "Заметки по структурному программированию"

Уже перечитываю, в том числе и другие источники.

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

Еще отсутствует неструктурный RETURN Последний Оберон, возможно, единственный чистый структурный язык.

Еще нафантазировалась такая картинка:


Тут структурная программа изображена в виде дерева, где каждая ветка (последовательность S) растет из первичного охранника B(BEGIN) и оканчивается вторичным охранником E(END)

(Bn, Sn, ..., Sn, En) - это ветка по номером n

Так и напрашивается императивный лисп!

Построение блок схем программы в виде дерева рассмотрено на форуме здесь - " Альтернативный ВИЗУАЛЬНЫЙ СТРУКТУРНЫЙ ПОДХОД К АЛГОРИТМАМ".

Предложена методика для практического применения.

В теории схем это называется древесной развёрткой алгоритма (если не путаю).

А циклический алгоритм даёт бесконечно рекурсивные ветки в таком дереве...

И вообще, уже любой набор управляющих конструкций можно рассматривать как способ "упаковки" такого дерева.
Структурный, "драконистый" и т.п.

Не могли бы Вы привести пример (или ссылку) двухмерной схемы, которую невозможно преобразовать в структурный линейный текст, кроме как использовав дублирование?

Эдуард, смотрите в этом сообщении: viewtopic.php?f=88&t=2008#p83930

2 igor:
Вирт таки прокомментировал этот формализм!

http://www.inf.ethz.ch/personal/wirth/A ... ograms.pdf
стр. 254-255

ps Даже холодок по спине. Статья будто после прочтения этой ветки написана...

Мое замечание про два goto...

Исходный while, с которого началось обсуждение...

Вариант Валерия Лаптева...

Ух, ты! Полный расклад
История ходит по кругу...

Не уверен, что я правильно понял предложение. Поправьте пожалуйста, если что: Если я правильно понял, Вирт в 1974 году не одобрял выходы из середины цикла.

Все так. Ключевая мысль вот:

Ну и последний комментарий Вирта по этому вопросу:


ps Фразу "There were only 4 loop statements in the compiler – a sign of good programming" лично я не понял, ибо компилятор был набит этими Loop под завязку.

Добавлено:
Еще комментарий:

http://www.inf.ethz.ch/personal/wirth/O ... eron07.pdf

По поводу двух скрытых goto внутри цикла. Раз все молчат, тогда скажу я.
Демонстрация наличия внутри цикла двух скрытых goto сама по себе не может служить доказательством неструктурности этого оператора. Аналогичное "доказательство" можно было бы применить и к структурному циклу WHILE:

Никто и не говорил, что это что-то доказывает.


Значит не совсем такое дерево. На моей схеме уже есть и ветвления и циклы. Ветка выполняется если B и повторяется пока E

Значит вопрос о неструктурности цикла с выходом из середины для меня остаётся открыт (по крайней мере до тех пор, пока я не дойду до того места у Дейкстры, где он это доказывает).