DRAKON.SU

Выявлена некорректная работа редактора ИС Дракон.


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

Такую схему правильно работающий дракон-редактор не должен создавать.
Это запрещенная дракон-схема.

При правильной работе правильная последовательность операций должна быть такой:

— Создать Примитив.
— Ввести Макроикону Обычный цикл.
— Ввести Макроикону Переключатель в верхнюю валентную точку Обычного цикла.
— И т. д.

При этом стрелка цикла попадет на вход Переключателя (выше иконы Выбор).

При такой последовательности операций указанная выше дракон-схема не может быть создана.

По-видимому, она создана путем неправильного (запрещенного) применения операции "Пересадка лианы".

Это значит, что необходима доработка редактора.

Нарисуйте, пожалуйста, чтобы стало наглядно и понятно как Вы хотите сделать.

Стрелку цикла надо оторвать и перетащить вверх — чтобы она вонзалась в шампур между иконой Заголовок и иконой Выбор.

Странное предложение!
Это будет уже совсем другой алгоритм.

Пишется ведь алгоритм, а не красивая картинка.

А прыгать внутрь структуры Выбор это не странно? Давайте ещё внутрь циклов будем прыгать!
Это всё-равно, что неправильное использование оператора goto

В. Паронджанов так нарисовал алгоритм.
Он ведь думал, ему такой алгоритм потребовался.
Так, будем уважать автора алгоритма.

Конечно, другой. Но зато правильный, соответствующий исчислению икон.

Это не так. Я привел алгоритм для того, чтобы продемонстрировать ошибку в программе "ИС Дракон".

Алгоритм, содержащий ошибку, никому не может потребоваться. Мне тем более.

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

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

Алгоритм, нарисованный В. Паронджановым, может существовать.
Оставим его на совести В. Паронджанова.
...
Видно, что была нарисована "бяка", т.к. в алгоритме не отображена предметная область алгоритма.
Бессмысленный алгоритм.

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

Ярослав, прочитайте http://forum.oberoncore.ru/viewtopic.php?p=97550#p97550:
"Алгоритм, нарисованный В. Паронджановым, может существовать."

Т.е. нет ошибки.

Согласен с Ярославом.

Почему же нет? Есть ошибка.

http://forum.oberoncore.ru/viewtopic.php?p=97361#p97361
Такой алгоритм клиент пожелал изобразить.

Желание клиента - закон.
Алгоритм, нарисованный В. Паронджановым, может существовать,
т.е. здесь в ИС Дракон нет ошибки.
...
При программировании в ИС Дракон.
Подобный алгоритм без проблем будет: обработан Маршрутным транслятором, транслироваться и выполняться.

Владимир Паронджанов,
где проходит нижняя граница в переключателе?

По выходам икон Вариант?

Нет. В данном примере граница проходит по горизонтальной линии между иконой Действие и иконой Вопрос.

В общем случае по нижней горизонтальной линии макроиконы Переключатель.

См. книгу "Учись...", стр. 39.

В общем случае "нижняя горизонтальная линия макроиконы Переключатель" может отсутствовать.

В реальности, ниже выходов икон Вариант образуется сеть икон, образованная линиями объединения.
Образуется сеть икон и связей не соответствующая блокам "Переключатель" и "Переключающий цикл".

Все или часть икон Вариант могут быть связаны с иконами Адрес.

Получается сложная картина.

Она может быть либо правильной, либо неправильной.

Как отличить правильную дракон-схему от неправильной?
Что является критерием истины?

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

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

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

Можно говорить о нахождении выходов блока Переключатель на выходах икон Вариант.

Соответственно:
в заголовке темы терминология В . Паронджанова "плохой вход в переключателе" ошибочна, т.к. входом в блок Переключатель является только вход в икону Выбор, других входов в блок Переключатель нет.

Утверждение В. Паронджанова
является ошибочным.

Увы, не могу согласиться с уважаемым LKom.

Похоже, что LKom и Геннадий Тышов - одно лицо...