DRAKON.SU

Владимир Паронджанов писал(а):

Было б логично представить правила в виде ДРАКОНа

Сообщаю ссылку реального Дракон-Редактора:
http://narod.ru/disk/55428000/DRT.rar
Все (почти) по книге В.Д. Паронджанова "Как улучшить работу ума".
Имеется ряд дополнений для полноты функционирования.

Очень интересно. Даже многое работает.
Не могу сообразить, как организовать цикл WHILE (с предусловием). ДЛЯ - не то, "Обычный цикл" - это REPEAT..UNTIL (с постусловием). "Перекл. цикл" вообще пока не понимаю, но не похож совсем. Подскажете?

Если делать через IF + REPEAT..UNTIL, то условие дублировать приходится, что совсем не хорошо.

Прикреплён пример алгоритма поиска символа в строке (1.jpg). Для завершения алгоритма нехватает перехода после INC (i) к проверке условия (s [i] = ch). Пытаюсь делать "Пересадку лианы" - редактор рисует 2.jpg. Судя по тому, что условие (s [i] = ch) перечёркнуто вертикальной линией, пересадка прошла успешно, но что при этом нарисовано - грубое нарушение: пересечение линий.

Понял, это делается "Обычным циклом", но редактор опять подводит. Схема 3.jpg приводится к нужному виду пересадкой лианы после INC (i) на одну ступеньку выше, перед проверкой (s [i] = ch). Однако, редактор рисует 4.jpg.

Эх, сделал опечатку в INC (i) - i заглавную написал. После исправления редактор вдруг показал вот такую схему: 5.jpg.
Вопрос к автору редактора: не поделится ли он исходниками? Чтобы можно было доработать до кондиции...
Очевидно, нужно по-особому обрабатывать стрелки, идущие вверх, исключать их при топологической сортировке схемы.

Прочитав Тезис 28 "Пересадка лианы" я подумал, что, наверное, хочу невозможного.
С одной стороны, структурность кода в желаемом мной варианте сохраняется: пересечений нет. С другой стороны, обычным WHILE это уже не выразить. Для обычного WHILE нужна конъюнкция как в 6.jpg.
Хотелось бы увидеть мнение Владимира Паронджанова: почему нельзя вход в цикл перенести повыше, на родительскую ветку, не создавая пересечений (то, что я выше хотел сделать с рисунком 3.jpg)? Или это возможно? Если возможно, то где это описано в тезисах?
Я считаю, что это возможно в рамках примечания к Тезису 28: "Однако разрешается строить новый путь из середины обычного цикла к единственному входу в этот цикл, создавая визуальный эквивалент оператора continue языка СИ".

Для Александра Ильина

ПоискСимволаВСтроке:
http://narod.ru/disk/57588000/%D0%9F%D0 ... %D0%BA.JPG

http://narod.ru/disk/57586000/%D0%9F%D0 ... %D0%BA.drt
Файл для Дракон-Редактора. Здесь есть последовательность формирования ДРАКОН-схемы с примечаниями.

У меня нет опыта общения в Интернете.
При первом знакомстве с программой, рано разбираться в исходных текстах.
Познакомтесь с сообщением "О программе". там кратко все написано,
обращайте внимание на строку сообщений.
Так же: ДРАКОН - язык алгоритмический, а не программирования.
Программируют после получения ДРАКОН-схемы в среде программирования.

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

Ага, значит это таки возможно! : )
Вопрос: как в редакторе создать ветку "Нет" из "Строка [Позиция] = Символ", ведущую в начало цикла? Какова должна быть последовательность действий для создания такой схемы? Созданием цикла с последующей пересадкой лианы у меня не получилось.
PS: Публикуйте, пожалуйста, файлы, прикрепляя их прямо к сообщениям на данном форуме. Вам мои картинки видно сразу, а мне приходится вводить циферки на narod.ru.

В таком случае, огромное вам спасибо за то, что дали посмотреть ваш редактор. И за то, что отвечаете на мои вопросы.
Согласен, поторопился.
Познакомился, и на строку смотрю. Но на конкретный свой вопрос из предыдущего сообщения пока не нахожу ответа: как стрелочку завести наверх?
Вот иллюстрация: 7.jpg. Как ветку "Нет" из "///-9" присоединить ко входу в "///-2"? Нужны пошаговые инструкции, какие пункты меню выбирать и куда мышью кликать. Или такое преобразование невозможно?
Если преобразование не возможно, то как получить такую схему с чистого листа?

Спасибо! С трудом, но разобрался. Один из камней преткновения - не ясно, что для операции "Узел: объединенить лини" нужно выбирать соседний узел на той же линии, рядом с тем, для которого вызвано меню. В строке подсказки написано "Выбери соседний узел на второй линии". Что ещё за вторая линия? Не понятно. Тем более не понятно, если ещё только пытаешься понять, что же такое это "объединение линий" и зачем оно нужно.

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

Получилось создать свою схему: FindChar.jpgСхема очень легко и быстро позволяет ответить на вопросы:
- какие два вида значений возвращает процедура?
- в каком случае происходит повтор цикла?

Хорошо, что файл drt - текстовый. Если подразобраться в формате, то можно написать конвертор в исходник на Обероне. Потом это дело автоматизировать через командную строку и добавить в makefile для сборки проекта. По крайней мере часть программы можно будет писать прямо в ДРАКОН-Редакторе, а со временем и полностью перейти.

Какой смысл составлять программу в ДРАКОН-Редакторе только для того, чтобы её потом вручную переписывать на языке программирования? Тогда схема получится как графическая документация, подспорье хорошее, конечно, но слишком уж легко устаревающее при правке исходника (а ведь именно с ним ведётся основная работа при таком подходе). К тому же, нет страховки от ошибок при переводе схемы в текст. Если переводчиком выступает человек, то теряется часть эргономики, опять приходится анализировать текст программы, чтобы удостовериться в его соответствии графической схеме. Перевод должен быть автоматизирован, чтобы схема стала центральным и единственным местом записи алгоритма.

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

Ещё раз огромное спасибо за возможность посмотреть Редактор в действии и "пощупать" ДРАКОНа!
Вопрос о публикации исходников не снимаю, в Редакторе можно много над чем поработать для повышения удобства.

В начале цикла написать "Позиция := -1" это конечно мощно... Видимо, никакой ДРАКОН редактор не заменит старой доброй дисциплины программирования.

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

Я вижу.

Просто не вписывается в обычную схему?
Ну так это фактически эквивалентное преобразование алгоритма на WHILE в алгоритм на UNTIL. Только и всего. Со "сдвигом инварианта". Ничего криминального...

Уважаемый Сергей!

Вы - опытный специалист. И я склонен относиться к Вашим замечаниям со всей серьезностью. Вместе с тем хотелось бы обратить Ваше внимание на один важный момент. В моей книге описан ГРАФИЧЕСКИЙ СИНТАКСИС языка Дракон.

При этом подразумевается, что ТЕКСТОВЫЙ СИНТАКСИС может быть самым разнообразным. А теперь вопрос: на что напрвлена Ваша критика? На ГРАФИЧЕСКИЙ синтаксис? Или на ТЕКСТОВЫЙ?

Мне кажется, Ваше замечание относится к ТЕКСТОВОМУ (а не ГРАФИЧЕСКОМУ) синтаксису. Следвательно, оно не является критикой ядра идеи - ГРАФИЧЕСКОГО СИНТАКСИСА.

Если я прав, если ГРАФИЧЕСКИЙ синтаксис нас с Вами устраивает (а ТЕКСТОВЫЙ не устраивает), давайте попытаемся изменить именно то, что Вам не нравится. Давайте изменим ТЕКСТОВЫЙ синтакис. Мы имеем право менять его ЛЮБЫМ СПОСОБОМ, который сочтем подходящим (в пределах разумного).

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

Я обращаюсь также ко всем участникам форума: давайте пойдем навстречу Сергею Губанову. И построим такую дракон-схему, которая удовлетворяла бы его требованиям (то есть не содержала деталей, которые он склонен рассматрвать как недостаток).

Мне кажется, двигаясь таким путем, мы сможем достичь желанного консенсуса.

С уважением Владимир Паронджанов

Её нарисовал Александр Ильин: Вс апр 06, 2008 11:54 pm.


Да не критика, а так ворчание по поводу того, что инварианты циклов/предусловия/постусловия -- это отдельная дисциплина независящая от того как выражать мысли: в текстовом виде или в графическом. В данном случае, я был несогласен с выбором в качестве предусловия несуществующее значение позиции "минус один" когда ясно что должен быть ноль.