DRAKON.SU
https://forum.drakon.su/

Язык ДРАКОН. Является ли стрелка цикла неприкосновенной?
https://forum.drakon.su/viewtopic.php?f=147&t=6144
Страница 1 из 1

Автор:  Владимир Паронджанов [ Среда, 08 Ноябрь, 2017 08:55 ]
Заголовок сообщения:  Язык ДРАКОН. Является ли стрелка цикла неприкосновенной?

Продолжение обсуждения отсюда:
viewtopic.php?p=100689#p100689

Язык ДРАКОН.
Является ли стрелка цикла неприкосновенной?


Приглашение к дискуссии на трудную тему

Можно ли применять операцию "Пересадка лианы" к стрелке цикла?
Можно ли стрелку цикла отрывать от своего места и переносить в другое место?

Раньше я думал, что нельзя согласно исчислению икон.

Автор:  Игорь Мазница [ Среда, 08 Ноябрь, 2017 11:00 ]
Заголовок сообщения:  Re: Язык ДРАКОН. Является ли стрелка цикла неприкосновенной?

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

Автор:  LKom [ Среда, 08 Ноябрь, 2017 12:36 ]
Заголовок сообщения:  Re: Язык ДРАКОН. Является ли стрелка цикла неприкосновенной?

http://roboforum.ru/post348610.html#p348610
Язык программирования ДРАКОН

Здесь задают вопросы про стрелки. Про левые стрелки.

Вопросы остались без ответа!

Автор:  Alexey_Donskoy [ Среда, 08 Ноябрь, 2017 13:58 ]
Заголовок сообщения:  Re: Язык ДРАКОН. Является ли стрелка цикла неприкосновенной?

Владимир Паронджанов писал(а):
Можно ли применять операцию "Пересадка лианы" к стрелке цикла?
Можно ли стрелку цикла отрывать от своего места и переносить в другое место?
Выступлю консерватором и скажу, что первое вообще ни к чему, а второе допустимо, но нежелательно.
Аргументация: разработчик явно пожелал задать цикл.
Соответственно, цикл должен сохраняться как таковой.
Переносить надо не стрелку цикла, а операторы в/из тела цикла.

Другое дело, что условие циклов while и until формально не сильно отличается от условия в развилке, и тогда почему бы не.
Но я вообще сторонник того, чтобы циклы были выделены не условием со стрелкой назад, а специальной конструкцией.

Автор:  LKom [ Среда, 08 Ноябрь, 2017 14:36 ]
Заголовок сообщения:  Re: Язык ДРАКОН. Является ли стрелка цикла неприкосновенной?

Геннадий Тышов принял на себя ответственность за решение вопросов с терминологией циклов.

https://cloud.mail.ru/home/ИС%20Дракон/Изменения.png

В выпуске ИС Дракон от 02.11.2017 сообщается, что реализовано:
Икона 17 писал(а):
Доработка языка Дракон
-------
Изменить наименование блока "Обычный цикл" на "Цикл с Вопросом"
"Обычный цикл" В.Д. Паронджанов так же называет "Цикл со стрелкой".

Наименование "Цикл с Вопросом" адекватно отображает структуру цикла.

Икона 18 писал(а):
Доработка языка Дракон
-------
Изменить наименование блока "Цикл ДЛЯ" на "Цикл"
"Цикл ДЛЯ" В.Д. Паронджанова имеет искусственно ограниченную область применения, исключает применение для стандартных алгоритмических конструкций WHILE, REPEAN-UNTIL.

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

Автор:  Владимир Паронджанов [ Пятница, 10 Ноябрь, 2017 09:50 ]
Заголовок сообщения:  Re: Язык ДРАКОН. Является ли стрелка цикла неприкосновенной?

Владимир Паронджанов писал(а):
Язык ДРАКОН.
Является ли стрелка цикла неприкосновенной?


Приглашение к дискуссии на трудную тему

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

Здесь возникает проблема безошибочности. Потому что объединение двух стрелок не предусмотрено в исчислении икон.

Это очень опасно и чревато появлением ошибок.

Как только мы разрешим пользователю отрывать стрелку от своего места и перетаскивать ее в другое место (с помощью пересадки лианы) пользователь получает возможность СОВЕРШИТЬ ОШИБКУ.

Это недопустимо. Надо запретить подобные ошибки.
Запрет должен быть строго математическим.

Как это сделать? И можно ли это сделать в принципе?
Я пока не знаю.

Автор:  LKom [ Пятница, 10 Ноябрь, 2017 10:34 ]
Заголовок сообщения:  Re: Язык ДРАКОН. Является ли стрелка цикла неприкосновенной?

Владимир Паронджанов писал(а):
Как только мы разрешим пользователю отрывать стрелку от своего места и перетаскивать ее в другое место (с помощью пересадки лианы) пользователь получает возможность СОВЕРШИТЬ ОШИБКУ.

Что предлагаете делать пользователю?
У С. Митькина вообще не предусмотрено вставлять ЦиклСВопросом, только Развилка.

Автор:  Владимир Паронджанов [ Пятница, 10 Ноябрь, 2017 10:47 ]
Заголовок сообщения:  Re: Язык ДРАКОН. Является ли стрелка цикла неприкосновенной?

Владимир Паронджанов писал(а):
Как только мы разрешим пользователю отрывать стрелку от своего места и перетаскивать ее в другое место (с помощью пересадки лианы) пользователь получает возможность СОВЕРШИТЬ ОШИБКУ.

LKom писал(а):
Что предлагаете делать пользователю?
У С. Митькина вообще не предусмотрено вставлять ЦиклСВопросом, только Развилка.


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

Когда были две стрелки, была защита в виде исчисления икон.

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

Надо поискать решение проблемы безопасности.
Пока я не знаю, как это сделать.

Автор:  Владимир Паронджанов [ Пятница, 10 Ноябрь, 2017 10:47 ]
Заголовок сообщения:  Re: Язык ДРАКОН. Является ли стрелка цикла неприкосновенной?

..

Автор:  Владимир Паронджанов [ Пятница, 10 Ноябрь, 2017 10:47 ]
Заголовок сообщения:  Re: Язык ДРАКОН. Является ли стрелка цикла неприкосновенной?

..

Автор:  LKom [ Пятница, 10 Ноябрь, 2017 11:01 ]
Заголовок сообщения:  Re: Язык ДРАКОН. Является ли стрелка цикла неприкосновенной?

Владимир Паронджанов писал(а):
Когда были две стрелки, была защита в виде исчисления икон.

Когда же у цикла с вопросом было 2-е стрелки?
Зачем нужны 2-е стрелки у цикла с вопросом?
Какая же была защита, от чего защита, при наличии 2-х стрелок?

Я, как пользователь, хочу знать: что и почему беспокоить автора Дракона?

Автор:  Владимир Паронджанов [ Пятница, 10 Ноябрь, 2017 20:04 ]
Заголовок сообщения:  Re: Язык ДРАКОН. Является ли стрелка цикла неприкосновенной?

LKom писал(а):
Владимир Паронджанов писал(а):
Когда были две стрелки, была защита в виде исчисления икон.

Когда же у цикла с вопросом было 2-е стрелки?
Зачем нужны 2-е стрелки у цикла с вопросом?
Какая же была защита, от чего защита, при наличии 2-х стрелок?

Я, как пользователь, хочу знать: что и почему беспокоить автора Дракона?


Вот ответ. Ответ благоприятный

Вложение:
Рис. 117 пострПримитива 1.png
Рис. 117 пострПримитива 1.png [ 145.33 КБ | Просмотров: 11966 ]

Автор:  Игорь Мазница [ Пятница, 10 Ноябрь, 2017 20:35 ]
Заголовок сообщения:  Re: Язык ДРАКОН. Является ли стрелка цикла неприкосновенной?

Владимир Паронджанов писал(а):
Вложение:
Рис. 117 пострПримитива 1.png

имхо последняя операция "пересадки лианы" на графике плохо смотрится, правая часть висит в воздухе и выглядит как самостоятельная незаконченная ветка

Автор:  Владимир Паронджанов [ Пятница, 10 Ноябрь, 2017 20:49 ]
Заголовок сообщения:  Re: Язык ДРАКОН. Является ли стрелка цикла неприкосновенной?

Игорь Мазница писал(а):
имхо последняя операция "пересадки лианы" на графике плохо смотрится, правая часть висит в воздухе и выглядит как самостоятельная незаконченная ветка


Спасибо. Исправил.

Вложение:
Рис. 117 пострПримитива 1.png
Рис. 117 пострПримитива 1.png [ 153.34 КБ | Просмотров: 11963 ]

Автор:  LKom [ Пятница, 10 Ноябрь, 2017 21:09 ]
Заголовок сообщения:  Re: Язык ДРАКОН. Является ли стрелка цикла неприкосновенной?

В заголовке средней колонки появился странный термин "кубик".
В Драконе термин "кубик" никогда не использовался.
Существует и будет к месту термин - "блок".

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

Автор:  LKom [ Пятница, 10 Ноябрь, 2017 21:50 ]
Заголовок сообщения:  Re: Язык ДРАКОН. Является ли стрелка цикла неприкосновенной?

Изображение

На рисунке странная последовательность формирования схемы.

Естественнее и логичнее будет выполнять:
1. Вставить блок Цикл с вопросом.
2. Вставить блок Развилка в Цикл, в правый выход иконы Вопрос..
3. Вставить икону Пуск таймера в Развилку.

При этом совсем не требуется операция Пересадка лианы.

Автор:  Владимир Паронджанов [ Суббота, 11 Ноябрь, 2017 08:14 ]
Заголовок сообщения:  Re: Язык ДРАКОН. Является ли стрелка цикла неприкосновенной?

LKom писал(а):
На рисунке странная последовательность формирования схемы.

Естественнее и логичнее будет выполнять:
1. Вставить блок Цикл с вопросом.
2. Вставить блок Развилка в Цикл, в правый выход иконы Вопрос..
3. Вставить икону Пуск таймера в Развилку.

При этом совсем не требуется операция Пересадка лианы.

LKom, спасибо.
Вы правы.
Ваш способ гораздо лучше и проще.
Нужно делать именно так, как вы сказали.
Я полностью согласен с вами.

Автор:  Alexey_Donskoy [ Суббота, 11 Ноябрь, 2017 09:34 ]
Заголовок сообщения:  Re: Язык ДРАКОН. Является ли стрелка цикла неприкосновенной?

Владимир Паронджанов писал(а):
объединение двух стрелок не предусмотрено в исчислении икон.
Здесь нет проблем.
Объединение стрелок - это шина.
Такая же шина, что и в силуэте. С ней же вы соглашаетесь работать.

Математически у каждой стрелки есть начало и конец.
Конец никуда не перемещается при объединении стрелок.
Не надо путать математику внутреннего представления с визуальным отображением.
Сформировать удобное визуальное представление - дело техники, математика тут ни при чём.

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

Вопрос чисто технический.

Автор:  Владимир Паронджанов [ Пятница, 15 Февраль, 2019 22:26 ]
Заголовок сообщения:  Re: Язык ДРАКОН. Является ли стрелка цикла неприкосновенной?

Я продолжаю думать над этим вопросом.
Дракон-конструктор должен работать в точном соответствии с математической теорией — с исчислением икон.
Отступление от теории увеличивает вероятность появления ошибок.
А это недопустимо.

Ныне существующая возможность (которая есть в дракон-конструкторах) оторвать линию (как лиану) и превратить ее в стрелку цикла
НЕ СООТВЕТСТВУЕТ исчислению икон.

Страница 1 из 1 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/