DRAKON.SU

Надо было мне продумать алгоритм, и я решил нарисовать его с помощью редактора Геннадия Тышова.
Можно порассуждать о том, насколько понятно получилось. Признаю, что текст, написанный на языке программирования вместо русского, читать сложнее. А как в остальном эргономика? Трудно ли понять и проверить правильность алгоритма? Приглашаю всех попробовать найти ошибку в алгоритме и поделиться впечатлениями. : )


Во время работы с редактором замечены некоторые недостатки:
- перемещение схем по листу (стрелочками клавиатуры) не делает доступной кнопку сохранения документа;
- при добавлении нового элемента программа не предлагает написать в него текст, даже если установлена галочка "Эл.". Необходимо выполнить дополнительный щелчок левой кнопкой мыши по вновь добавленному элементу, затем щелчок по полю ввода, затем выделить непонятно откуда взявшийся текст вида "///-114" и только после этого можно написать то, ради чего создан элемент. Удобно было бы сразу отобразить и активировать поле ввода. Более того, если элемент вновь создан, то можно сразу выделить текст "///-114", чтобы ввод пользователя заменил этот текст на нужный.

Так чем это лучше, чем хорошо форматированный текст на Обероне?

Ужас Такой результат я бы не стал использовать для демонстрации достижений визуальных языков Конкретно эта программа на традиционном языке будет выглядеть намного понятнее. Хотя с асмом и можно посоревноваться

Перевожу сейчас этот алгоритм в текст на Обероне. Столкнулся с некоторыми трудностями, не всё гладко переводится. Например, в процедуре GetIdent цикл с двумя выходами. Не в том смысле, что из двух мест выход, а В ДВЕ ВЕТКИ алгоритма выход. Мне пришлось из-за этого продублировать условие "i >= 0":Получается, что ДРАКОН в данном случае позволил мне составить более компактный алгоритм, без лишнего повтора проверки. Отсутствие дубля означает, что логическая структура алгоритма отражена более точно.

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

Однако пример действительно неудачный.
Это ж типичная автоматная задачка. Здесь бы как раз Драконом и развернуться от души

Что я и сделал. Часть логики предполагается в "умном" типе Ident (накопление символов, проверка длины идентификатора и допустимого первого символа). Т.е. "подавтомат" (его не рисовал, т.к. тривиально).

По редактору: действительно, проблемы у него есть, хотя для забав пока сойдёт И кроме удобства. Например, позиции элементов не сохраняются (не могу выровнять операторы в разных ветках отн. друг друга - всё равно сбрасываются). В целом, ведёт себя как настоящий... Микрософт Ворд прямо какой-то... (в смысле, с глубокой внутренней логикой думания, недоступной прямолинейно мыслящему юзеру)

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

Линии слишком жирные, текст бледный на их фоне - хотя должно быть наоборот.
Вызов процедур лучше оформлять значком для "подалгоритма".
Независимые действия типа INC(from); INC(to); INC(len) хорошо бы группировать в одном знаке.
Т.к. их порядок выполнения неважен, просто одним шагом...

И касательно самой задачки типа извлечения идентификаторов...
Их бы делать на основе синт. дерева компилятора... Чтобы руками не ваять каждый самопальный частичный разбор, который всё равно не учитывает всех ситуаций...
Короче, аналога ASIS хочется (эк, размечтался... Особенно для закрытого XDS, на котором Александр работает).

Закрытость XDS - не проблема. Просто я пока не ставил перед собой задачу разобраться с синтаксическими деревьями компиляторов, а решил сгородить временное решение на своём текущем уровне знаний.

А что такое ASIS? Гугл слишком много ссылок дал.

Ada Semantic Interface Specification.
Для Ады стандартизирован интерфейс библиотеки для доступа ко всей информации о разобранной программе.
Т.е. инструментам разного рода уже не нужно самостоятельно перемалывать исходник.

Изначально разработан компанией AdaCore, разработчик - наш соотечественник С.И. Рыбин, из НИИВЦ МГУ.

Вы успешно осваиваите Дракон-редактор. Надо освоить объединение линий, икона
"Конец" должна находится на одной вертикале (шампуре) с заголовком.
Ссылка на каталог Дракон-редактора, можно будет просмотреть процесс формирования схемы.
http://narod.ru/disk/124663000/%D0%9F%D1%80%D0%B8%D0%BC%D0%B5%D1%80%D0%98%D0%BD%D0%B0%D1%87%D0%B5.rar
Архивированный каталог со всем содержимым больше 250 Кбайт, потому и помещаю на НАРОДЕ

Сообщение поправлено администратором. Пример с Народа размещён ниже.

Спасибо за ваш вариант!
И за то, что напоминаете правила, - я так и не удосужился их как следует изучить.

PS: Когда пишете сообщение на форум, ниже кнопки "Отправить" есть поле "Имя файла" и кнопка "Choose..." (= "Выбрать...") рядом. Так я прикрепляю картинки (и прочие файлы) прямо к сообщению. Ограничение на размер файла - 250 килобайт.

О! Совсем другое дело. Хотя я и не изучал Дракон. Мне кажется, что главное отличие - видимая структура.

Ага. Структура отображается родным для неё образом - ГРАФически. А в узлах графа - семантика

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

К вопросу программирования схемы Силуэт в КП:Для Силуэта с несколькими Заголовками, могут вызываться другие ветки.

Прошу прощения, но процедура вызывает подозрения... не нравится мне цикл, первая проверка лишняя? ... что-то не то. Вероятно, дело в том, как процедура "вырезана" из контекста... но проверять сил нет.

Первая половина условия на первой итерации всегда выполняется, поэтому можно переписать так:Убрать дубль проверки "i >= 0" можно, если добавить переменную done: BOOLEAN:Просто так более громоздко, да и переменная дополнительная, а сэкономили чуть.

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

Скорее всего, вы отключили показ картинок в своём браузере. На сервере вы ничего поломать не могли.
Хорошая мысль! Прикрепил файл к первому сообщению.

Ваш файл изменил:
1. Соседние иконки "Действия" заменил одной.
2. Выполнил объединения соседних линий, имеющих соединение, в одну. Для этого выбирается узел на 1-й линий и соединении, операция "Узел: объединить линии", выбирается узел на 2-й линии и соединении. Возможно образуется наложение линий и элементов, устранить соответствующим сдвигом элементов и узлов. Для этого выбрать элемент или узел, сдвинуть Ctrl+стрелки.
3. Выполнение алгоритма производится только по шампуру т.е. вниз по вертикали, исключение выход вправо из "Вопроса".
Скачать:http://forum.oberoncore.ru/download/file.php?mode=view&id=116
Для вложенных файлов не допускается расширение .drt , можно ли разрешить.

Честно говоря, ни один из вариантов схем меня совершенно не вдохновил. Как-то все не очень понятно. Что касается цикла, может лучше так?