DRAKON.SU • Просмотр темы - ПРОТОН для ДРАКОНа

Сообщения без ответов | Активные темы

Список форумов » Теоретические основы языка ДРАКОН » Язык ДРАКОН и доказательное программирование

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

ПРОТОН для ДРАКОНа

Страница 5 из 7

[ Сообщений: 135 ]

На страницу Пред. 1, 2, 3, 4, 5, 6, 7 След.

Версия для печати

Пред. тема | След. тема

Автор

Сообщение

Рэйлвэй Каген

Заголовок сообщения: Re: ПРОТОН для ДРАКОНа

Добавлено: Пятница, 11 Март, 2011 10:13

Зарегистрирован: Воскресенье, 04 Ноябрь, 2007 23:01
Сообщения: 511

2Драконограф:

1. ""примитивизировал" силуэт - а потом склеенные пары Адрес-Имя можно и удалить..." - Если силуэт содержит более одного заголовка, удалять не стОит.

2. Касательно схем по Вашей ссылке - хотелось бы всё-таки оставаться в рамках темы (синтаксиса ДРАКОНа от Паронджанова), а на Ваших схемах, как я понял, используется расширенный синтаксис. Можно ли Ваши алгоритмы изобразить с помощью авторского ДРАКОНа?

Вернуться к началу

Владислав Жаринов

Заголовок сообщения: Re: ПРОТОН для ДРАКОНа

Добавлено: Суббота, 12 Март, 2011 05:55

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1443

Рэйлвэй Каген писал(а):

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

Рэйлвэй Каген писал(а):

Ну, номера ВЦ можно не употреблять... правда, они признаны создателем техноязыка, что можно видеть из этой выдержки... кроме того, для облегчения понимания это важно - не зря синтаксис ввели "реакторщики".
Цикл Дейкстры - как показано здесь, образуется определённым порядком вложения обычных циклов. Можно задать ограничение порядка в редакторе, поддерживающем ЦД (и нужно, наверное) - но по шампур-методу изменений не требуется.
А вот новые импер-операторы (парный рандеву прежде всего) - это необходимость гибридизации с языком подлинно реального времени (Promela). От них можно отказаться, только если найдено представление через обычные операторы (напр., для рандеву - как алгопроцедур обмена межпроцессными сообщениями, предлагаемых Виртом на Обероне - см. эту выдержку). Тогда, правда, не нужен и "исходный" оператор И20

Вообще же это более низкий уровень абстракции - Владимир Даниелович же имел в виду более высокий, раз ввёл И20... просто ему не потребовался парный.
Видимо, Ваши представления о "предметке" для техноязыка совпадают, раз Вы исследуете исходный синтаксис. Почему я пошёл дальше - уже говорил - считаю нужным применять техноязык как компонент представления реальных реагирующих систем (в смысле определений у Карпова и Шалыто; "подлинно реального времени", если отталкиваться от терминов Паронджанова).

Последний раз редактировалось Владислав Жаринов Понедельник, 31 Октябрь, 2011 07:48, всего редактировалось 1 раз.

Вернуться к началу

Рэйлвэй Каген

Заголовок сообщения: Re: ПРОТОН для ДРАКОНа

Добавлено: Суббота, 12 Март, 2011 10:04

Зарегистрирован: Воскресенье, 04 Ноябрь, 2007 23:01
Сообщения: 511

1. Просто вместе с тегами (ВЕТКА..) из денормализованной записи удалятся все вложенные теги (ЗАГОЛОВОК..), кроме одного - от первой ветки. Т.к. в примитиве есть место только для одного заголовка.
2. ДРАКОН-схему силуэта с цд в синтаксисе от Паронджанова разместите, пожалуйста, непосредственно в Вашем сообщении.

Вернуться к началу

Владислав Жаринов

Заголовок сообщения: Re: ПРОТОН для ДРАКОНа

Добавлено: Суббота, 12 Март, 2011 19:05

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1443

Рэйлвэй Каген писал(а):

1. ...
2. ...

1. Ну, у меня заголовки в примерах единственные. Хотя вообще-то интересно было бы сохранить в примитиве маршрутные свойства силуэта (конечно, это опять-таки не будет исходный, "догматизированный" случай).
2. Не вопрос - вот только отличия в синтаксисе, как я говорил, не столько в ЦД, сколько в наличии новых операторов (по крайней мере, в указанных автоматных визуалах - "Приём сообщения")... впрочем, это топологически-то разновидность шампур-вершины.

Последний раз редактировалось Владислав Жаринов Понедельник, 31 Октябрь, 2011 07:49, всего редактировалось 1 раз.

Вернуться к началу

Владислав Жаринов

Заголовок сообщения: ГРАФИТ для ПРОТОНа :)

Добавлено: Понедельник, 14 Март, 2011 07:15

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1443

Рэйлвэй Каген писал(а):

...
2. ДРАКОН-схему силуэта с цд в синтаксисе от Паронджанова разместите, пожалуйста, непосредственно в Вашем сообщении.

Вот обещанный автоматный СЦД-примитив (по материалам этого примера):

Вложение:

Комментарий к файлу: Визуал автоматной процедуры на Дракон-Оберон07-Promela.

Рисунки А3LS СЦД-примитив Автомат1 (Задача УпрДвумяКлап).png [ 172.58 КБ | Просмотров: 22090 ]

Схема изменена, чтобы выявить соответствия классическому импер-шампур-синтаксису (разделены петли циклов, чтобы показать образование ЦД путём вложения; сняты входящие области). В то же время Д2М/ДО7Pr-особенности не исключались, т.к. они введены из соображений связи техноязыка с гарантоспособным программированием. В связи с этим вижу такие визуально-синтаксические вопросы:
1. СЦД-примитив по классическому шампур-методу можно представить как образуемый за счёт операции исходного шампур-метода (ИШМ) Удаление конца примитива, которая должна давать внешний цикл (образующий логически первую - по порядку проверки паролей охраны - СЦД-ветвь) как основу для вложения последующих СЦД-ветвей. Однако точного определения этой операции в ИШМ нет; поэтому неясно, получается ли это.
2. Д2М-оператор 34Д Инвариант (Убедиться, Assert) определён как развилка-боковик к звену вертикали, выводящая на конец маршрута по одному из плеч (соответствующему невыполнению инварианта). Теоретически можно представить его как обычную развилку на вертикали; но это неэргономично, т.к. нужно подчеркнуть в топологии эту особую роль - вводить "промежуточное завершение" маршрута схемы. Посему, возможно, следует пользоваться ПРОТОН-средствами для записи боковиков - но м.б. модифицированными.

P.S. Вообще ощущается потребность в строгой математике схем - то, о чём говорил Игорь Зимаев и что делал Илья Ермаков со товарищи. Только для полноценной визуализации она должна описывать и дерева ("прошитые", допустим, как в АТ-схемах, по концам), и областя

И матформализм нужен подходящий - вот для IDEF-схем пробовали теорию множеств, но здесь указывали на её ограниченность... в общем, есть над чем подумать (хотя тут указывали, что нужна хорошая подготовка)...

Последний раз редактировалось Владислав Жаринов Понедельник, 31 Октябрь, 2011 07:52, всего редактировалось 1 раз.

Вернуться к началу

Рэйлвэй Каген

Заголовок сообщения: Re: ПРОТОН для ДРАКОНа

Добавлено: Понедельник, 14 Март, 2011 10:22

Зарегистрирован: Воскресенье, 04 Ноябрь, 2007 23:01
Сообщения: 511

Мда. Суровая обфускация получилась..
Для записи в ПРОТОН преобразовывать ВИЗУАЛЬНУЮ форму силуэта в примитив не требуется! Денормализованная форма записи силуэта и переход к ней используются лишь в целях обработки ТЕКСТОВОЙ записи алгоритма. Сообщение viewtopic.php?p=60946#p60946 поправлено, дабы никого не провоцировать производить описанные шаги в визуальной форме.

2Драконограф:
Запись Вашей схемы в ПРОТОНе будет чуть позже.

Вернуться к началу

Владислав Жаринов

Заголовок сообщения: Re: ПРОТОН для ДРАКОНа

Добавлено: Понедельник, 14 Март, 2011 13:54

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1443

Рэйлвэй Каген писал(а):

...
Для записи в ПРОТОН преобразовывать ВИЗУАЛЬНУЮ форму силуэта в примитив не требуется! Денормализованная форма записи силуэта и переход к ней используются лишь в целях обработки ТЕКСТОВОЙ записи алгоритма.
...
Запись Вашей схемы в ПРОТОНе будет чуть позже.

Спасибо

Только я это делал для записи не в ПРОТОН, а в Оберон-07/Promela

Т.е. для текстовой записи, совместимой с реальными ТЯП.

Вернуться к началу

Рэйлвэй Каген

Заголовок сообщения: Re: ПРОТОН для ДРАКОНа

Добавлено: Вторник, 15 Март, 2011 20:35

Зарегистрирован: Воскресенье, 04 Ноябрь, 2007 23:01
Сообщения: 511

Честно говоря, цд в силуэте я не углядел, равно как и необходимости в рандеву и ассертах

Силуэт, днф и нф - в прицепе.

Вложение:

klapan.7z [13.55 КБ]
Скачиваний: 514

Последний раз редактировалось Рэйлвэй Каген Суббота, 19 Март, 2011 11:34, всего редактировалось 1 раз.

Вернуться к началу

Владислав Жаринов

Заголовок сообщения: Re: ПРОТОН для ДРАКОНа

Добавлено: Четверг, 17 Март, 2011 07:37

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1443

Рэйлвэй Каген писал(а):

Честно говоря, цд в силуэте я не углядел, равно как и необходимости в рандеву и ассертах

Силуэт, днф и нф - в прицепе.

Вложение:

klapan.7z

Спасибо.
А в силуэтах (первый кадр в упомянутом примере) ЦД и нет. И в данном случае не должно быть

- ибо силуэты (которые на прогязыке без явных БП невыразимы) и переводятся в ЦД (уже выразимые без явных БП).
Рандеву идёт с другим алгопроцессом - та самая "алгоритмическая расшифровка" взаимодействия. Ассерт - по сути предварительное (для негарантоспособного кода) обозначение, что в этом месте в гарантоспособной программе д.б. какая-то содержательная реакция в случае неправильного кода состояния.

Вернуться к началу

Владислав Жаринов

Заголовок сообщения: Re: ПРОТОН для ДРАКОНа

Добавлено: Четверг, 17 Март, 2011 08:16

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1443

Рэйлвэй Каген писал(а):

Честно говоря, цд в силуэте я не углядел, равно как и необходимости в рандеву и ассертах

Силуэт, днф и нф - в прицепе.

Вложение:

klapan.7z

Из содержания вижу следующие упрощения ДО7Pr-программы:
1. В качестве операторов вывода Вы используете "полки действия" - предполагая, что они применимы к ячейкам портов напрямую.
2. Развилки представляются переключателями.
3. Полки также используются для представления ввода - так я понимаю (ибо принятый синтаксис делает ввод неотличимым от вывода

)?

Кроме того, Ваш силуэт не соответствует силуэту Автомата1 в этом примере. Можно узнать обоснования этому?

Вернуться к началу

Рэйлвэй Каген

Заголовок сообщения: Re: ПРОТОН для ДРАКОНа

Добавлено: Четверг, 17 Март, 2011 12:24

Зарегистрирован: Воскресенье, 04 Ноябрь, 2007 23:01
Сообщения: 511

Драконограф писал(а):

Кроме того, Ваш силуэт не соответствует силуэту Автомата1 в этом примере. Можно узнать обоснования этому?

Можно. Рассмотрен силуэт "Автомат 1" по первоначальной Вашей ссылке:

Драконограф писал(а):

Вот интересно, как с записью цикла Дейкстры на ПРОТОНе? Допустим, какого-нибудь из этих... если это не сложно...

Исправления, внесённые в схему для установления соответствия авторскому ДРАКОНу:

1. в развилках использована прямая логика вместо инверсной.

2. для доступа к декларативным данным(<КнОткрКл>, <ОтпирКл[n]> и т.п.) использована икона "Полка". Изменение(т.е. запись) обозначают полки "УСТАНОВИТЬ ФЛАГ" и "СНЯТЬ ФЛАГ". Присутствие данных на маршруте(т.е. чтение) обозначают полки с именем структуры данных в верхней части.

3. обмен данными с "Автомат_2" обозначен через иконы "ВВОД" и "ВЫВОД".В принципе, можно было бы воспользоваться одними полками и вставками для замещения внеязыковых визуальных конструкций(относительно авторского ДРАКОНа). Ничего особо не изменилось бы, разве что тема вообще ушла бы в оффтоп

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

Драконограф писал(а):

..А в силуэтах (первый кадр в упомянутом примере) ЦД и нет. И в данном случае не должно быть

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

Вернуться к началу

Рэйлвэй Каген

Заголовок сообщения: Re: ПРОТОН для ДРАКОНа

Добавлено: Суббота, 19 Март, 2011 11:35

Зарегистрирован: Воскресенье, 04 Ноябрь, 2007 23:01
Сообщения: 511

В денормализованной форме в ветке "Открывается" пропущена (ПОЛКА "УСТАНОВИТЬ ФЛАГ" "ОтпирКл[n]:=1"). Исправлено. Архив klapan.7z перевыложен.

Вернуться к началу

====

Заголовок сообщения: Re: ПРОТОН для ДРАКОНа

Добавлено: Воскресенье, 20 Март, 2011 20:10

Зарегистрирован: Воскресенье, 06 Апрель, 2008 14:43
Сообщения: 1657

http://forum.oberoncore.ru/viewtopic.php?p=31929#p31929 от 14 Июль, 2009

Рэйлвэй Каген писал(а):

Возможности:
1. ДРАКОН -> ПРОТОН -> исходный код
2. исходный код -> ПРОТОН -> ДРАКОН
3. ПРОТОН -> AST(abstract syntax tree)

Рэйлвэй Каген, какая из этих заявленных возможностей реализована?
В этих цепочках преобразований, ПРОТОН является промежуточным состоянием. Что дает введение ПРОТОНА в цепочки №1 и №2?

В википедии приведена приведена ссылка на:

Цитата:

# Блинов Р.В. Процедурно-топологическая нотация (ПРОТОН) для ДРАКОНа (Процедурно-топологическая нотация ориентирована на использование структурных конструкций для линейной текстовой записи планарных графов потоков управления и Дракон-схем).

Ваш файл - klapan_sexp_silh_dnf.txt от 19.03.2011

Код:

  (СИЛУЭТ
    (СОЕДИНЕНО
     (ВЫБОР "Клапан_1 закрыт?"
      (ВАРИАНТ "Да" 
        (ПОЛКА "СНЯТЬ ФЛАГ" "<ЗапирКл1>:=0" (ВЕТКА "Закрывается" (АДРЕС "Закрыт")))
      )
      )
   )
    (СОЕДИНЕНО 
     (ВЫБОР "Открыть клапаны?"
       (ВАРИАНТ "Нет" (ВЕТКА "Закрыт" (АДРЕС "Закрыт")))        
     )
   )   
    (ВЫВОД "Автомат_2" "ТекСостАвт_1" (ВЕТКА "Закрыт" (ЗАГОЛОВОК "Автомат_1"))
     (ПОЛКА "<КнОткрКл>" "<ОткрытьКлапаны>"
       (ВЫБОР "Открыть клапаны?"
        (ВАРИАНТ "Да" (ВЕТКА "Закрыт" (АДРЕС "Открывается"))
         (СОЕДИНЕНО
           (ВЫБОР "Клапан_1 открыт?"
            (ВАРИАНТ "Нет" 
              (ПОЛКА "УСТАНОВИТЬ ФЛАГ" "ОтпирКл[n]:=1" (ВЕТКА "Открывается" (АДРЕС "Открывается")))
            )
           )   
         )
          (ВЫВОД "Автомат_2" "ТекСостАвт_1" (ВЕТКА "Открывается")
           (ПОЛКА "<ДатОткрКл1>" "<ОткрытКлапан_1>"
             (ВЫБОР "Клапан_1 открыт?"
              (ВАРИАНТ "Да" 
                (ПОЛКА "СНЯТЬ ФЛАГ" "<ОтпирКл1>:=0" (ВЕТКА "Открывается" (АДРЕС "Открыт"))
                  (СОЕДИНЕНО
                   (ВЫБОР "Автомат_2 закрыт?"
                    (ВАРИАНТ "Нет" (ВЕТКА "Открыт" (АДРЕС "Открыт")))
                   )   
                 )            
                  (ВЫВОД "Автомат_2" "ТекСостАвт_1" (ВЕТКА "Открыт")
                   (ВВОД "Автомат_2" "ТекСостАвт_2"
                     (ВЫБОР "Автомат_2 закрыт?"
                      (ВАРИАНТ "Да" (ВЕТКА "Открыт" (АДРЕС "Закрывается"))
                       (СОЕДИНЕНО
                         (ВЫБОР "Клапан_1 закрыт?"
                          (ВАРИАНТ "Нет" 
                            (ПОЛКА "УСТАНОВИТЬ ФЛАГ" "<ЗапирКл[n]>:=1" (ВЕТКА "Закрывается" (АДРЕС "Закрывается")))
                          )        
                         )   
                       )                    
                        (ВЫВОД "Автомат_2" "ТекСостАвт_1" (ВЕТКА "Закрывается")
                         (ПОЛКА "<ДатЗакрКл1>" "<ЗакрытКлапан_1>"
                           (ВЫБОР "Клапан_1 закрыт?")
                         )
                       )
                      )
                    )
                   )
                 )
               )
              )
            )
           )
         )
        )
      )
     )
   )
  )

Говорить о наглядности нотации навряд ли можно.
Какое практическое назначение ПРОТОНА?, или здесь мы имеем абстрактный объект для академического изучения и изысканий?

Вернуться к началу

Рэйлвэй Каген

Заголовок сообщения: Re: ПРОТОН для ДРАКОНа

Добавлено: Понедельник, 21 Март, 2011 10:18

Зарегистрирован: Воскресенье, 04 Ноябрь, 2007 23:01
Сообщения: 511

Геннадий Тышов писал(а):

Говорить о наглядности нотации навряд ли можно.

ПРОТОН - средство промежуточного представления программ и алгоритмов. Ориентирована на машинную обработку. Предлагается вниманию конструкторов современных систем разработки ПО для решения задач прикладного характера.

При этом код, записанный по правилам нотации абсолютно не обязан быть наглядным, т.к. предназначен для машинной обработки. Но, поскольку базовая нотация текстовая, запись может быть прочитана человеком, и основные моменты работы с нотацией прояснены на примерах. При этом разработчики прикладных систем не ограничены использованием именно текстовой версии нотации. Теги легко могут быть закодированы (например, в виде индексов). При этом функциональность записи и возможности её обработки ничуть не уменьшатся.

Возможность представлений ПРОТОН <-> ДРАКОН и соответствие визуальных операций языка ДРАКОН текстовым преобразованим продемонстрирована на примерах. На примере записи непланарного ориентированного графа К3,3 показано, что возможности нотации превышают необходимые и достаточные условия для представления ДРАКОН-схем. Возможность перехода от ПРОТОН-записи к AST компилятора BlackBox показана в первом сообщении темы(см.таблицу). Возможности перехода от ПРОТОН-записи к исходному коду и обратно есть, и будут рассмотрены в будущем - см. "режим 3" в заметке "О переходе к обработке алгоритмов, основанной на специфицированных преобразованиях."

Реализация перечисленных возможностей выходит за рамки данной темы.

Последний раз редактировалось Рэйлвэй Каген Понедельник, 21 Март, 2011 12:23, всего редактировалось 3 раз(а).

Вернуться к началу

Рэйлвэй Каген

Заголовок сообщения: Re: ПРОТОН для ДРАКОНа

Добавлено: Понедельник, 21 Март, 2011 10:34

Зарегистрирован: Воскресенье, 04 Ноябрь, 2007 23:01
Сообщения: 511

Геннадий Тышов писал(а):

Что дает введение ПРОТОНА в цепочки №1 и №2?

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

Вернуться к началу

Владислав Жаринов

Заголовок сообщения: Re: ПРОТОН для ДРАКОНа

Добавлено: Среда, 23 Март, 2011 08:03

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1443

Рэйлвэй Каген писал(а):

...Исправления, внесённые в схему для установления соответствия авторскому ДРАКОНу:

1. в развилках использована прямая логика вместо инверсной.

Драконограф писал(а):

..А в силуэтах (первый кадр в упомянутом примере) ЦД и нет. И в данном случае не должно быть

Не понял... так Вы называете "второй схемой" СЦД-примитив, вложенный согласно Вашему пожеланию в это сообщение? И вместо неё по каким-то причинам запротонили с изменениями силуэт Автомата1 с этого кадра в примере?
По исправлениям:
1. Если имеется в виду перестановка маршрутов да/нет - то я сформулировал правило выбора главного маршрута, данное там же в кадре.
2. Дык для доступа к этим самым величинам я и так использую классические операторы Ввод и Вывод :shock:

Графика чуть изменена, но смысл как вершин тот же...
3. В принципе на более низком уровне рассмотрения процессов, чем предполагающий употребление рандеву-операторов, и правда м.б. использованы операторы ввода/вывода - не сами по себе, конечно, а в составе процедур, представляющих операторы рандеву. Если из этого исходить - то здесь для упрощения рандеву можно и вставками (представляющими эти процедуры) показать... так что вроде не оффтоп :wink:

Тем более, что если согласно актив-схеме реализации процессы помещаются в общей ОП (и их каналы тоже) - то уже не ввод-вывод, а обычные пересылки используются... такой случай, IMHO, Вирт в АиСД-Оберон рассматривал (см. выдержку здесь; там у него присваивания с участием буфера).

И что имеется в виду ещё под "приведением к классике"? М.б. Вам по каким-то причинам требуется не прямая запись ЦД (развилки ЦД-шапки "лесенкой"), а инверсная (развилки ЦД-шапки "пирамидкой")?

Вернуться к началу

Рэйлвэй Каген

Заголовок сообщения: Re: ПРОТОН для ДРАКОНа

Добавлено: Среда, 23 Март, 2011 10:03

Зарегистрирован: Воскресенье, 04 Ноябрь, 2007 23:01
Сообщения: 511

Драконограф писал(а):

И вместо неё по каким-то причинам запротонили с изменениями силуэт Автомата1 с этого кадра в примере?

Да. Как-то не прикольно было увидеть "не совсем примитив"(в смысле авторского ДРАКОНа) вместо долгожданного силуэта с цд:

Драконограф писал(а):

Рэйлвэй Каген писал(а):

Вот обещанный автоматный СЦД-примитив (по материалам этого примера):

Вложение:

Драконограф писал(а):

..что имеется в виду ещё под "приведением к классике"?

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

Вложение:

klapan_4.png [ 20.69 КБ | Просмотров: 21894 ]

Вложение:

Комментарий к файлу: Схема и ПРОТОН-запись

klapan_4.7z [18.53 КБ]
Скачиваний: 509

Вернуться к началу

Владислав Жаринов

Заголовок сообщения: Re: ПРОТОН для ДРАКОНа

Добавлено: Среда, 23 Март, 2011 10:47

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1443

Рэйлвэй Каген писал(а):

...
Как-то не прикольно было увидеть "не совсем примитив"(в смысле авторского ДРАКОНа) вместо долгожданного силуэта с цд:

Драконограф писал(а):

Рэйлвэй Каген писал(а):

Вот обещанный автоматный СЦД-примитив (по материалам этого примера):
Вложение:

Ну да... ведь "силуэтом с ЦД" можно назвать только шампур-силуэт, когда в телах его веток есть хотя бы один ЦД

Правда с учётом, что и силуэт, и ЦД есть "универсальные программы", это будет "масло масленое" - нужно выстроить силуэт, а затем для языков без БП перевести его в СЦД-примитив... или сразу доказательно выводить структуру маршрутов как ЦД без брейков и континуев

У меня же как раз "зацикленный по Дейкстре" примитив, эквивалентный силуэту.

Рэйлвэй Каген писал(а):

Драконограф писал(а):

..что имеется в виду ещё под "приведением к классике"?

Вложение:

klapan_4.png

Вложение:

klapan_4.7z

Да, инверсная запись здесь уместна ещё и тем, что именно она м.б. напрямую выведена по шампур-методу, что и отражено в ДО7Pr (как ввод ЦД-атома и добавление ветвей; как уже говорил, можно просто вкладывать цикл в цикл) - прямая получается уже как результат рокировок. В то же время прямая нагляднее представляет именно веточную структуру маршрутов.
Обе формы показаны в сравнении в конце этого подпункта - как раз для начинающего в визуализации.

Спасибо, что сами уже преобразовали прямую в инверсную

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

Да, кстати. Конец примитива д.б.удалён. В данном конкретном случае его можно оставить - чтобы разместить процедуру реакции на неверный номер состояния - то, что я показал изначально как инвариант (только с процедурой сочинителя это уже будет исключение

Вернуться к началу

Рэйлвэй Каген

Заголовок сообщения: Re: ПРОТОН для ДРАКОНа

Добавлено: Среда, 23 Март, 2011 20:13

Зарегистрирован: Воскресенье, 04 Ноябрь, 2007 23:01
Сообщения: 511

Драконограф писал(а):

..с учётом, что и силуэт, и ЦД есть "универсальные программы

Отмечу, пожалуй, следующие моменты:

вьюшка

в этой теме

2. цд - это всё-таки императивное расширение предикатной программы. И описанной выше простотой и легкостью изменения не обладает.

Вернуться к началу

Владислав Жаринов

Заголовок сообщения: Re: ПРОТОН для ДРАКОНа

Добавлено: Понедельник, 25 Апрель, 2011 13:03

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1443

Рэйлвэй Каген писал(а):

...

вьюшка

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

Вернуться к началу

Страница 5 из 7

[ Сообщений: 135 ]

На страницу Пред. 1, 2, 3, 4, 5, 6, 7 След.

Список форумов » Теоретические основы языка ДРАКОН » Язык ДРАКОН и доказательное программирование

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

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

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

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