DRAKON.SU

Сам алгоритм/постановка задачи:
http://oberspace.dyndns.org/index.php/topic,425.0.html

Моё решение на ДРАКОНе:


Пояснения:


Одно из возможных решений на обычном ЯП:

Единственное, чтобы передать переменную по VAR-параметру, она должна иметь тип ANYPTR. Отсюда потом каждый раз приведение типа.

У меня есть небольшое возражение.

1. Язык ДРАКОН (точнее, дракон-редактор) гарантирует безошибочность графики.
В данном случае это не так. Ниже объясню почему.

2. Правильный дракон-редактор http://drakon.su/_media/biblioteka/chas ... isanie.pdf работает по другому. Он не может (и не должен) рисовать дракон-схему, которую изобразил Илья Евгеньевич.

3. Ошибка в том, что четыре петли цикла сливаются в одну стрелку. Правильный дракон-редактор так не умеет и не должен. Потому что он работает методом вложения.

4. Исправить эту неточность очень легко. Надо удалить слияние 4-х линий в одну и нарисовать не одну стрелку, а четыре.

5. Дракон-редактор создает графический узор методом логического вывода согласно исчислению икон. Отступления от этого недопустимы.

6. Такие отступления «выбивают» из-под дракон-редактора математическое обоснование. Это недопустимо.

7. Причина ошибки в том, что редактор Степана Митькина не реализует логический вывод. И в этом смысле является «недоделанным».

8. Разумеется, редактор Степана Борисовича Митькина обладает многими хорошо известными достоинствами. Но (в существующей версии) он не является гарантоспособным.

9. Когда дракон-редактор Митькина будет доведен до конца, он просто не позволит нарисовать такую (ошибочную) дракон-схему. И тем самым освободит пользователя от необходимости размышлять над пустяками (над правилами языка ДРАКОН). В этом случае пользователь будет думать не над мелочами (что можно и что нельзя), а над смыслом задачи. Над творческими, то есть наиболее важными операциями разработки алгоритмов.

=============================================

Впрочем, программисты — народ изобретательный. Возможно, кто-нибудь захочет меня опровергнуть. Для этого надо найти хитроумный способ (не нарушая правила логического вывода) использовать операции с лианой и в конечном итоге получить схему, которую нарисовал Илья Евгеньевич. Мне такой способ не известен.

Подсказка для тех, кто хочет попробовать свои силы:

Дракон-редактор и формальное описание языка описаны здесь http://drakon.su/_media/biblioteka/chas ... isanie.pdf

Теория описана здесь http://drakon.su/_media/biblioteka/chas ... drakon.pdf

Ну и конечно, надо детально изучить книгу:

А эта структура маршрутов вообще выводима только вложением (вводом атома)?..

Кстати, опять лучше всего изображается в скобках с "витком Донского"... где явно разрешено пересечение...

Да, не пропущен ли инкремент в начале той самой четверной петли?..

Кстати, вопрос к желающим попробовать силы: сколько раз надо употребить инкремент в схеме Ильи и в "доделанной" и в каких местах?..

Я там по невнимательности упустил инкремент в цикле. Потому и слилось всё против правил... См. исправленную схему.

Вот получил в редакторе Тышова:

Это уже исправленная схема

К сожалению, после исправления в этой ветке часть постов выглядит совершенно бессмысленно. Если бы исправленная схема была помещена там, где об этом сказано, то логика сохранилась бы.
У нас на предприятии запрещено вносить изменения в выпущенные документы/изделия. Это считается серьезным преступлением. Только новая версия, чтобы можно было посмотреть логику изменений.

Да, каюсь, я об этом уже подумал.

Пардон, а можно узнать, о чём речь?

Пока рисовал только "в карандаше"... Если Вы об общем, то см. здесь: viewtopic.php?p=76385#p76385. Как реализовано - см. техпроцесс исключения в этом примере: viewtopic.php?p=76208#p76208.

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

Вариант Р-схемы:

Да, кстати, тоже рисовал "рокированный" маршрут в теле цикла... нагляднее...
А инкремент здесь подразумевается?..

Достаточно одну иконку УСЛОВИЯ со строкой на Прологе внутри:


1) Алгоритм унификации соптимизирует поиск.
2) Одна иконка на Драконе - одно условие на человеческом языке, без лишней детализации.

Если вопрос ко мне, то инкремент здесь не нужен, подразумевается что это вроде списка и проблема обхода решается через
ЕСТЬ(сундуки)
------------------>
ВЗЯТЬ(сундук)
аналог:
WHILE list.HasMoreElements() DO сундук := list.GetNext() END;
как здесь

А, форич... я так и подумал, но, не будучи Р-(и вообще)программистом, всё-таки нуждался в уточнении...

Вот, кстати, это интересно: - хотя исходная постановка, как я понял, предполагала написание императива человеком, без перекладывания его генерации на процесс разбора логической модели... Но главное - если модель неимперативная, то техноязык здесь если и нужен - то только в понимании как импер-ЯУЗа, т.е. формы записи пакетника для логической среды... если она такой язык управления заданиями поддерживает...

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

Между прочим, в Р-схеме (как и в скобочной) границы цикла далеко не так скрыты, как в Д-схеме...

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

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

Хочу подчеркнуть, что сам факт того, что данная схема получена с помощью редактора Тышова не является доказательством. Это необходимое, но не достаточное условие.
Иными словами, я ставлю вопрос о том, чтобы получить достаточное условие.

Необходимо найти и представить математическое доказательство того, что дракон-схема (алгоритм) нарисованная SergeyNK с помощью редактора Тышова является правильной.

До сих пор подобные математические доказательства на нашем форуме не приводились.

Приглашаю желающих, которые пожелают выполнить эту отнюдь не простую работу.

Подсказка для тех, кто хочет попробовать свои силы:

Дракон-редактор и формальное описание языка описаны здесь http://drakon.su/_media/biblioteka/chas ... isanie.pdf

Теория описана здесь http://drakon.su/_media/biblioteka/chas ... drakon.pdf

Ну и конечно, надо детально изучить книгу: