OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Пятница, 15 Ноябрь, 2019 13:17

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 257 ]  На страницу Пред.  1 ... 6, 7, 8, 9, 10, 11, 12, 13  След.
Автор Сообщение
СообщениеДобавлено: Четверг, 05 Декабрь, 2013 14:47 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
ilovb в viewtopic.php?p=84090#p84090 писал(а):
...
Еще нафантазировалась такая картинка:
Вложение:
Snap 2013-12-01 at 00.24.48.png


Тут структурная программа изображена в виде дерева, где каждая ветка (последовательность S) растет из первичного охранника B(BEGIN) и оканчивается вторичным охранником E(END)
...
Это не структура Крипке, как она, допустим у Карпова описана?..


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 05 Декабрь, 2013 15:04 

Зарегистрирован: Вторник, 30 Июнь, 2009 14:58
Сообщения: 1549
Что-то около, но не то. У меня все проще 8)


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 05 Декабрь, 2013 15:13 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Да, её, наверное, можно по-разному применять. :) Кстати, древесная развёртка по Илье наверное, то же самое, только "до опыта исполнения", а структура Крипке - после... Между прочим, отсюда можно вывести, что Ваш "императивный лисп" - это декларация о проверке моделей... :)


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 05 Декабрь, 2013 15:23 

Зарегистрирован: Вторник, 30 Июнь, 2009 14:58
Сообщения: 1549
Что полезного можно получить от этого дерева я пока не думал. Пока это просто визуализация структуры программы по описанию, сформулированному в этом сообщении: viewtopic.php?f=88&t=2008&start=40#p84045

Хочу особо подчеркнуть что дерево конечное и имеет жесткую структуру. Т.е. каждая ветка растет из первичного охранника (охрана выполнения) и оканчивается вторичным охранником (охрана повторения ветки).


Последний раз редактировалось ilovb Четверг, 05 Декабрь, 2013 15:40, всего редактировалось 1 раз.

Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 05 Декабрь, 2013 15:29 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
... по которому мы можем либо вернуться на начало ветки, либо завершить исполнение данной схемы (т.е. программы/процедуры)?..


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 05 Декабрь, 2013 15:38 

Зарегистрирован: Вторник, 30 Июнь, 2009 14:58
Сообщения: 1549
Смотрите:

Код:
Ветка:
Если ПервичныйОхранник Тогда
     Повторять
         <Последовательность>
     Пока ВторичныйОхранник;
КонецЕсли;


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 05 Декабрь, 2013 15:59 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
А за КонецЕсли по порядку исполнения что?


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 05 Декабрь, 2013 16:05 

Зарегистрирован: Вторник, 30 Июнь, 2009 14:58
Сообщения: 1549
Следующий элемент родительской ветки.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 05 Декабрь, 2013 16:11 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
А, тогда это действительно дерево по Дамке, о котором Г.Н. говорил... и к древесной развёртке полной имеет отношение и правда отдалённое... :)
Ну, применение возможно, наверное, для объяснения смысла упомянутых "программных конструктивов"... насколько кому полезное, уж и не знаю... Кстати, интересно, как можно объяснить через него "параллельные конструктивы"?..


Последний раз редактировалось Владислав Жаринов Четверг, 05 Декабрь, 2013 16:14, всего редактировалось 1 раз.

Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 05 Декабрь, 2013 16:14 

Зарегистрирован: Вторник, 30 Июнь, 2009 14:58
Сообщения: 1549
Что то не вижу похожего в дереве Дамке. Можно пример?


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 05 Декабрь, 2013 16:16 

Зарегистрирован: Вторник, 30 Июнь, 2009 14:58
Сообщения: 1549
Владислав Жаринов писал(а):
Кстати, интересно, как можно объяснить через него "параллельные конструктивы"?..

Наверно разрешением нескольких ветвей из одного корня (первичного охранника).


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 05 Декабрь, 2013 16:19 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Да какие примеры... исключительно со слов Тышова здесь: viewtopic.php?p=53267#p53267 (в п. 2 объяснение, как он реализовал).


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 05 Декабрь, 2013 16:21 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Ага, тогда несколько вторичных охранников будут в совокупности определять логику слияния?..


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 05 Декабрь, 2013 16:38 

Зарегистрирован: Вторник, 30 Июнь, 2009 14:58
Сообщения: 1549
Владислав Жаринов писал(а):
Да какие примеры... исключительно со слов Тышова здесь: viewtopic.php?p=53267#p53267 (в п. 2 объяснение, как он реализовал).

Единственное что похоже - это переход к след. элементу родительской ветки.
В остальном же не то. У Дамке обычные управляющие конструкции: условия, циклы с пред/постусловием...
А у меня вся соль в том, что нет по сути никаких управляющих конструкций. Есть только последовательности, с которыми связанны охранники (всегда) viewtopic.php?f=88&t=2008&start=40#p84045

Программа это:
Sequence = Operation; {Sequence}

С каждой Sequence связаны охранники.
PrimaryGuard = [True | Condition]
SecondaryGuard = [False | Condition]

Охранники - это не управляющие конструкции.

Скорее это свойство самих Sequence.

Еще раз внимательно:
Цитата:
С каждой Sequence связаны охранники.

Т.е. буквально с каждым отдельным действием в программе связаны охранники (просто в дереве я не стал изображать охранники типа True, False)


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 05 Декабрь, 2013 16:48 

Зарегистрирован: Вторник, 30 Июнь, 2009 14:58
Сообщения: 1549
Вот igor правильно заметил:
igor писал(а):
Кстати, если кто не в курсе, в цифровой технике, на мой взгляд есть некий аналог теоремы Бёма-Якопини: любое цифровое устройство (хоть комбинационное, хоть последовательностное) можно построить, используя только лишь один базовый логический элемент 2И-НЕ (в нужном количестве).


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 05 Декабрь, 2013 17:10 

Зарегистрирован: Воскресенье, 06 Апрель, 2008 14:43
Сообщения: 557
Какая цель этих рассуждений (не связанных с наименованием темы)
Цитата:
С каждой Sequence связаны охранники.
Цитата:
Охранники - это не управляющие конструкции.
в чем практическая сторона этих длительных рассуждений?


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 05 Декабрь, 2013 18:19 
Аватара пользователя

Зарегистрирован: Суббота, 12 Июль, 2008 22:49
Сообщения: 573
Откуда: Россия, Санкт-Петербург
albobin писал(а):
Вы же имели ввиду под "следующим шагом" - отказ от последовательностей операторов в управляющих конструкциях (IF, WHILE, ...).
Не так ли?

Совершенно верно.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 05 Декабрь, 2013 18:59 

Зарегистрирован: Вторник, 30 Июнь, 2009 14:58
Сообщения: 1549
Геннадий Тышов: Я отвечал на вопрос. А вот в чем смысл вашего замечания?


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 05 Декабрь, 2013 19:22 

Зарегистрирован: Воскресенье, 06 Апрель, 2008 14:43
Сообщения: 557
У меня не замечание, а вопрос.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 05 Декабрь, 2013 19:30 

Зарегистрирован: Вторник, 30 Июнь, 2009 14:58
Сообщения: 1549
Вам заняться не чем? Ваш вопрос не имеет никакого смысла для меня.

ps Замечание у вас в скобочках если что...


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 257 ]  На страницу Пред.  1 ... 6, 7, 8, 9, 10, 11, 12, 13  След.

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 0


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2005-2019, участники конференции «OberonCore», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Без разрешения участников и ссылки на конференцию «OberonCore» любое воспроизведение и/или копирование высказываний полностью и/или по частям запрещено.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB