DRAKON.SU

Вы правы. Эта схема запрещена в языке ДРАКОН.

Откуда это следует?

Вы не заполнили валентные точки, которые обязательно надо заполнить.

Черный кружок — это КРИТИЧЕСКАЯ валентная точка. В нее надо обязательно вставить икону или макроикону согласно разрешенному списку.

Белый кружок — это НЕЙТРАЛЬНАЯ валентная точка. В нее можно вставлять иконы, а можно не вставлять.

Rifat,

http://forum.oberoncore.ru/viewtopic.php?p=98466#p98466
Вы сделали такую схемы и только Вы несете за нее ответственность.

Согласно В. Шелехова, процедура в которой ничего не меняется в окружающем ее мире является ненужной и/или неправильной.

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

Хорошо, тогда вопрос, валидная ли следующая примитив-схема?

При этом не возникает визуального соответствия с поварским шампуром. Не бывает кривых поварских шампуров.

Термин совсем лишний, с искаженным смыслом, вводящий в заблуждение, засоряет язык.

Это не так. Никакой подмены нет и в помине. Это недоразумение.

Я согласен с Вами, что правильность программ и соответствие синтаксису разные вещи.

Или вот такая схема является валидной?


Если нет, то почему эквивалентная ей силуэт-схема будет валидной?

Rifat,

нормальная схема.

Нет, не валидная. Она запрещена в языке ДРАКОН.

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

Rifat,







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

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

Простейший пример.

Примитив состоит из одного действия:
Вычислить сумму чисел A и B

При начальных условиях
A=2 и B=2

Выдается результат
А+B = 5

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

Доказательства программ относятся именно к этому вопросу, а не к тому, правильно или неправильно построен примитив.

Нет, это запрещенная схема.

Это тоже запрещенная схема.

Почему?
Рифат, потому что ее нелепость можно выявить автоматически.

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

1. В иконах Адрес можно писать лишь те имена, которые указаны в иконах "Имя ветки".

2. В иконах Адрес должны быть указаны все имена Имя ветки. Если некая ветка не указана в иконе Адрес, она является "сиротой" и подлежит удалению.

Таких правил довольно много.

Вот схема без вопросиков:


В соседней ветке я писал почему не люблю неструктурные схемы:
1) Бесконечное число неструктурных конструкций
2) Сложно доказывать методом Хоара
3) Сложно найти все пути для доказательства методом индуктивных утверждений.
могу еще дополнить
4) Можно легко не заметить неявные циклы, в том числе и бесконечные.
5) Можно не заметить мертвый код, то есть код на который никогда не попадаем.

Ну как же нет. В начале вы говорите о правильности программ, а затем, в качестве примера и аргумента - про "исчисление икон"...

Тогда зачем вы везде говорите про "исчисление икон" (что есть синтаксис и ничего кроме синтаксиса)?

http://forum.oberoncore.ru/viewtopic.php?p=98479#p98479
Rifar,

В контекстном меню схемы есть пункты:
Проверить проект,
Проверить лист,
Проверить схему.

Потрудитесь выполнить.

Ответ тот же, что и в предыдущем случае.

Мертвая ветка (мертвый код) в данном случае элементарно выявляется правильно построенным ДРАКОН-конструктором. Такая ветка подлежит удалению.

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

И не страдает ли здесь эргономичность, что для человека всё на схеме должно быть очевидно "с первого взгяляда", без использования различных утилит.

Есть не внешняя утилита, а имеется полнофункциональная среда разработки.
У человека должен быть наработан навык цикла разработки.

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

Согласен. Вполне можно сказать, что есть утилита. Но лучше все таки использовать термин "ДРАКОН-конструктор". Именно он предотвращает появление ошибок. Многих, но не всех.

Вы правы. Это исчисление реализует правильно построенный ДРАКОН-конструктор. С оговоркой. ДРАКОН-конструктор предотвращает появление многих ошибок, но не всех.

Вы правы. ДРАКОН-конструктор не обеспечивает 100% предотвращения ошибок. Следует уточнить три момента.

1. ДРАКОН-конструктор предназначен для предотвращения только и исключительно ГРАФИЧЕСКИХ ошибок. Но не всех.

2. ДРАКОН-конструктор не умеет ловить ошибки текста внутри икон (как это показал пример Адвы.

3. ДРАКОН-конструктор умеет ловить ошибки текста (ошибки соответствия) в иконах Адрес и Имя ветки.

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

Этап 1. Построение слепыша дракон-схемы.

Этап 2. После заполнения текстом икон Адрес и Имя ветки выполняется вторая серия проверок.

Этап 3. После завершения построения дракон-схемы выполняется третья серия проверок.

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

1. Автоматически с помощью исчисления икон и правильно построенного ДРАКОН-конструктора.

2. Вручную, за счет удобочитаемости, т.е. эргономичности дракон-схем.

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

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

Сейчас есть только один ДРАКОН-конструктор, реализующий исчисление икон (Геннадия Тышова). Но и в нем время от времени выявляются отдельные недочеты.

Еще одна проблема состоит в том, что исчисление икон содержит большое число правил. Не все эти правила сформулированы корректно. Вы убедились в этом лично, так как именно Вы указали на отсутствие одного правила, которое я называю "Правило Рифата".
Еще раз спасибо за то, что обнаружили эту ошибку.

В DRAKON Editor Web тоже есть исчисление икон:
1. Аксиомы: силуэт и примитив.
2. Вставка икон в валентные точки.
3. Пересадка лианы.