Чем отличается силуэт от примитива? Ответ РифатуРифат писал(а):
Недостатки Дракона:
Нет взаимозаменяемости (симметричности) между примитивом и силуэтом. Если на силуэте отображена неструктурная схема, то в примитиве её уже не получится отобразить.
Рассмотрим мысль Рифата по частям.
Цитата:
Нет взаимозаменяемости (симметричности) между примитивом и силуэтом.
Правильно, взаимозаменяемости нет. Почему? Потому что ее и не должно быть.
Цитата:
Если на силуэте отображена [сложная] схема, то в примитиве её уже не получится отобразить.
Правильно, не получится. Но оно и не должно получиться. Силуэт для сложных схем. А примитив для простых.
Что дозволено Юпитеру (силуэту), то не дозволено быку (примитиву).
Объяснение такое. Примитив — аналог ветки (а не силуэта). Более того, примитив — аналог ветки, имеющей только одну икону Адрес.
Примитив всегда можно превратить в ветку.
Для этого.
1. Убираем икону Заголовок и вместо нее рисуем икону Имя ветки.
2. Убираем икону Конец и вместо нее рисуем икону Адрес.
Вот и все. Примитив превратился в ветку.
Зачем это нужно? Прелесть в том, что из нескольких (взаимосвязанных) примитивов, можно построить один силуэт.
Пока что мы построили очень простой силуэт, состоящий из одноадресных веток.
Если же использовать многоадресные ветки, мы получаем новое качество, а именно: можно в простой и наглядной форме демонстрировать СЛОЖНЫЕ алгоритмы.
МАТЕМАТИКА и доказательное программированиеПримитив и силуэт — это две аксиомы, которые называются:
1. аксиома-примитив
2. аксиома-силуэт
Из аксиомы-примитив методом визуального логического вывода можно вывести (получить, построить) любую дракон-схему примитив (то есть визуальную теорему).
Из аксиомы-силуэт методом визуального логического вывода можно вывести (получить, построить) любую дракон-схему силуэт (то есть визуальную теорему).
Визуальный синтаксис языка ДРАКОН представляет собой визуальное логическое исчисление, которое называется "Исчисление икон".
Уточнение. Речь идет об абстрактных дракон-схемах, то есть о схемах, где внутри икон отсутствует текст (за исключением икон Имя ветки и Адрес, где текст должен быть).
Любая абстрактная дракон-схема (слепыш) есть визуальная теорема, которая строго выводится (доказывается) из двух визуальных аксиом (которые называются "аксиома-примитив" и "аксиома-силуэт") с помощью правил визуального логического вывода.
Подробнее см. книгу "Учись..." раздел "Теоретические основы языка ДРАКОН", стр. 425-472.
http://drakon.su/_media/01._parondzhano ... oritmy.pdf