DRAKON.SU https://forum.drakon.su/ |
|
ПРОТОН для ДРАКОНа https://forum.drakon.su/viewtopic.php?f=147&t=1716 |
Страница 3 из 7 |
Автор: | Сергей Оборотов [ Пятница, 17 Июль, 2009 18:16 ] |
Заголовок сообщения: | Re: ПРОТОН для ДРАКОНа |
Рэйлвэй Каген писал(а): Это как посмотреть Да? Сформулируйте в чем тогда смысл этой темы.Рэйлвэй Каген писал(а): Просто-напросто в недоделанной схеме могут быть пересечения. Этого не может быть по определению.
|
Автор: | Рэйлвэй Каген [ Пятница, 17 Июль, 2009 18:53 ] |
Заголовок сообщения: | Re: ПРОТОН для ДРАКОНа |
Обсудить нотацию, ттх и особенности применения. Прим.: Неволить тут не будут. Надеюсь. |
Автор: | Рэйлвэй Каген [ Пятница, 17 Июль, 2009 19:08 ] | ||
Заголовок сообщения: | Re: ПРОТОН для ДРАКОНа | ||
GUEST писал(а): Этого не может быть по определению. Может.
|
Автор: | Alexey_Donskoy [ Пятница, 17 Июль, 2009 19:08 ] |
Заголовок сообщения: | Re: ПРОТОН для ДРАКОНа |
Вот и добавили опять лишнюю сущность! О разводке теперь заботиться... |
Автор: | Сергей Оборотов [ Пятница, 17 Июль, 2009 20:02 ] |
Заголовок сообщения: | Re: ПРОТОН для ДРАКОНа |
Рэйлвэй Каген писал(а): GUEST писал(а): Этого не может быть по определению. Может. |
Автор: | Сергей Оборотов [ Пятница, 17 Июль, 2009 20:14 ] |
Заголовок сообщения: | Re: ПРОТОН для ДРАКОНа |
Рэйлвэй Каген писал(а): Обсудить нотацию, ттх и особенности применения. Надеюсь дойдет и до этого.
|
Автор: | Рэйлвэй Каген [ Пятница, 17 Июль, 2009 21:14 ] |
Заголовок сообщения: | Re: ПРОТОН для ДРАКОНа |
GUEST писал(а): Сам редактор ещё неокончательный, поэтому определением не является. Честно говоря, я не готов отказаться от рокировки выходов развилки в редакторе.. GUEST писал(а): Надеюсь дойдет и до этого. Какие моменты Вас интересуют? Может быть Вы заметили конкретные недостатки нотации?
|
Автор: | Сергей Оборотов [ Пятница, 17 Июль, 2009 21:37 ] |
Заголовок сообщения: | Re: ПРОТОН для ДРАКОНа |
Рэйлвэй Каген писал(а): Честно говоря, я не готов отказаться от рокировки выходов развилки в редакторе.. Придерживаюсь той же точки зрения что и Вы.Рэйлвэй Каген писал(а): Какие моменты Вас интересуют? Те, что Вами обозначены.Рэйлвэй Каген писал(а): Может быть Вы заметили конкретные недостатки нотации? Пока не практиковал, но присматриваюсь.
|
Автор: | Ильченко Эдуард [ Воскресенье, 29 Август, 2010 12:56 ] |
Заголовок сообщения: | Re: ПРОТОН для ДРАКОНа |
Уважаемый Рэйлвэй Каген, не могли бы Вы составить псевдокод на ПРОТОНе для показанных ниже двух схем. Что-то сам не могу разобраться. В скобочках запутался : ) Вложение:
|
Автор: | Рэйлвэй Каген [ Понедельник, 30 Август, 2010 08:31 ] |
Заголовок сообщения: | Re: ПРОТОН для ДРАКОНа |
Для Рис.1: Код: (ЗАГОЛОВОК "Начало" (ДЕЙСТВИЕ "Д1" (ВЫБОР "В1" (ВАРИАНТ "Нет" (ДЕЙСТВИЕ "Д5" (СОЕДИНЕНИЕ)) ) (ВАРИАНТ "Да" (ДЕЙСТВИЕ "Д2" (ВЫБОР "В2" ( (ВАРИАНТ "Нет" (СОЕДИНЕНО) (ДЕЙСТВИЕ "Д6") ) (ВАРИАНТ "Да" (ДЕЙСТВИЕ "Д3") ) ) (ДЕЙСТВИЕ "Д4" (КОНЕЦ "Завершено")) ) ) ) ) ) ) Для Рис.2: Код: (ЗАГОЛОВОК "Начало" (ДЕЙСТВИЕ "Д1" (СОЕДИНЕНО) (ВЫБОР "В1" (ВАРИАНТ "Нет" (ДЕЙСТВИЕ "Д5" (ВЫБОР "В3" (ВАРИАНТ "Нет" (СОЕДИНЕНИЕ)) (ВАРИАНТ "Да" (СОЕДИНЕНИЕ)) ) ) ) (ВАРИАНТ "Да" (ДЕЙСТВИЕ "Д2" (ВЫБОР "В2" ( (ВАРИАНТ "Нет" (СОЕДИНЕНО) (ДЕЙСТВИЕ "Д6") ) (ВАРИАНТ "Да" (ДЕЙСТВИЕ "Д3") ) ) (ДЕЙСТВИЕ "Д4" (КОНЕЦ "Завершено") ) ) ) ) ) ) ) Вложение: В примере из первого сообщения темы есть ошибка. Файл в исходном сообщении не заменяется, поэтому исправления выложены ниже. Добавлено пошаговое описание. Вложение: Вложение:
Комментарий к файлу: пример записи по шагам
PROTON_example_step-by-step.pdf [49.28 КБ] Скачиваний: 443 |
Автор: | Ильченко Эдуард [ Понедельник, 30 Август, 2010 12:49 ] |
Заголовок сообщения: | Re: ПРОТОН для ДРАКОНа |
Спасибо! |
Автор: | Владислав Жаринов [ Вторник, 31 Август, 2010 05:04 ] |
Заголовок сообщения: | Re: ПРОТОН для ДРАКОНа |
Рэйлвэй Каген в viewtopic.php?p=31929#p31929 писал(а): Оформились некоторые соображения по промежуточному представлению программ и алгоритмов. Отправной точкой послужили темы о развилках и исключениях, а также обсуждения здесь. А "совместное использование потоков управления" как-то связано с расщеплением/сбором рабочих точек? И чем представлять рандеву-операторы, как Вы думаете (с ориентацией на АО)? Кстати, туда ещё assert добавить стоит... например, присоединяемый к неявной вершине-"блокиратору", как описал в этом подпункте... топологически это будет как правый комментарий, но вершина другая - Развилка (без выхода по шампуру). |
Автор: | Рэйлвэй Каген [ Вторник, 31 Август, 2010 07:41 ] |
Заголовок сообщения: | Re: ПРОТОН для ДРАКОНа |
совместное использование потоков управления в структурных синтаксических конструкциях означает возможность совместного описания в виде s-выражения основного потока управления, задаваемого структурными выражениями, и списков структурных переходов(вложенных или обособленных), не содержащих меток. Драконограф писал(а): чем представлять рандеву-операторы - например, см. здесь viewtopic.php?p=40032#p40032Драконограф писал(а): туда ещё assert добавить стоит - на мой взгляд, это нецелесообразно.
|
Автор: | Владислав Жаринов [ Среда, 01 Сентябрь, 2010 04:50 ] |
Заголовок сообщения: | Re: ПРОТОН для ДРАКОНа |
Рэйлвэй Каген писал(а): Драконограф писал(а): чем представлять рандеву-операторы - например, см. здесь viewtopic.php?p=40032#p40032Ну, тогда в рамках ПРОТОН-подхода наверное потребуется, учитывая, что это вершины типа "<один|много> вход[ов] - <много|один> выход[ов]", задать правила представления их через бинарные (как множественного ветвления)? Рэйлвэй Каген писал(а): Драконограф писал(а): туда ещё assert добавить стоит - на мой взгляд, это нецелесообразно. Теоретическое значение введения такой записи в общих чертах понятно - S-выражения это интересный развитый аппарат. А как Вы видите практическое назначение? |
Автор: | Рэйлвэй Каген [ Среда, 01 Сентябрь, 2010 12:49 ] |
Заголовок сообщения: | Re: ПРОТОН для ДРАКОНа |
Драконограф писал(а): ..наверное потребуется.. задать правила представления их через бинарные (как множественного ветвления)? А надо ли? Учитывая, что рамках обозначенного подхода в "Ветка" и "Адрес" можно просто разместить необходимый список.Драконограф писал(а): ..практическое назначение? Лично мне необходим простой инструмент, позволяющий
Естественно, эту мысль "можно думать" и дальше |
Автор: | Рэйлвэй Каген [ Суббота, 11 Сентябрь, 2010 10:41 ] |
Заголовок сообщения: | Re: ПРОТОН для ДРАКОНа |
При обозначении петли цикла в виде "перевёрнутой" последовательности токенов (СОЕДИНЕНО)..(СОЕДИНЕНИЕ) и последующем разборе полученного текста на нисходящем автомате с магазинной памятью может произойти сбой. Например: Вложение:
Комментарий к файлу: killer appication Соотв. текст на ПРОТОНе:killer _app_1.png [ 5.87 КБ | Просмотров: 13168 ] Код: (ЗАГОЛОВОК (ДЕЙСТВИЕ "Д1" (СОЕДИНЕНО) <---+ (ВЫБОР "В1" | (ВАРИАНТ "Нет" | (ДЕЙСТВИЕ "Д3" | (ВЫБОР "В3" | (ВАРИАНТ "Нет" | (ДЕЙСТВИЕ "Д4" (СОЕДИНЕНИЕ)) >--+ | ) | | (ВАРИАНТ "Да" (СОЕДИНЕНИЕ)) >--+ | | ) | | | ) | | | ) | | | (ВАРИАНТ "Да" | | | (ДЕЙСТВИЕ "Д2 (СОЕДИНЕНО) <----+ | | (ДЕЙСТВИЕ "Д5" (СОЕДИНЕНО) <-------+ | (ВЫБОР "В2" | (ВАРИАНТ "Нет" (СОЕДИНЕНИЕ)) >-+ (ВАРИАНТ "Да" (КОНЕЦ) ) ) ) ) ) ) ) ) Проблема решается переходом к силуэту - там нет "обратных" соединений: Вложение: killer _app_2.png [ 8.88 КБ | Просмотров: 13167 ] |
Автор: | Рэйлвэй Каген [ Понедельник, 18 Октябрь, 2010 08:03 ] |
Заголовок сообщения: | Re: ПРОТОН для ДРАКОНа |
Далее можно воспользоваться рекурсивным определением. Схема примет вид: Вложение: killer _app_3.png [ 9.29 КБ | Просмотров: 13027 ] Вложение: killer _app_4.png [ 7.58 КБ | Просмотров: 13027 ] Теперь Дракон-схему можно записать на функциональном языке(first-order) и скормить специализатору. Собственно, ничего особо нового я тут не сказал.. Функциональные эквиваленты императивных программ давно известны. Вывод из этого такой: в качестве промежуточного представления Дракон-схемы вполне может использоваться функциональный язык "первого порядка". |
Автор: | Рэйлвэй Каген [ Среда, 10 Ноябрь, 2010 12:07 ] |
Заголовок сообщения: | Re: ПРОТОН для ДРАКОНа |
Однозначная запись на ПРОТОНе обратной ветви цикла (без преобразований к силуэту): Код: (ЗАГОЛОВОК (ДЕЙСТВИЕ "Д1" (СОЕДИНЕНО (ВЫБОР "В2" (ВАРИАНТ "Нет") ) ) (ВЫБОР "В1" (ВАРИАНТ "Нет" (ДЕЙСТВИЕ "Д3" (ВЫБОР "В3") ) ) (ВАРИАНТ "Да" (ДЕЙСТВИЕ "Д2" (СОЕДИНЕНО (ВЫБОР "В3" (ВАРИАНТ "Да") ) ) (ДЕЙСТВИЕ "Д5" (СОЕДИНЕНО (ВЫБОР "В3" (ВАРИАНТ "Нет" (ДЕЙСТВИЕ "Д4") ) ) ) (ВЫБОР "В2" (ВАРИАНТ "Да" (КОНЕЦ) ) ) ) ) ) ) ) ) Достоинства: 1.Используется только один дополнительный токен «СОЕДИНЕНО». 2.Тривиально реализуются пересадки лиан. Подробности во вложении: Вложение: Дополнительные возможности: 1.Пригодно для описания сетей произвольной структуры с помощью S-выражений. |
Автор: | Рэйлвэй Каген [ Четверг, 11 Ноябрь, 2010 09:35 ] |
Заголовок сообщения: | Re: ПРОТОН для ДРАКОНа |
Пусть матрица инциденций для ориентированного графа К3,3 имеет следующий вид: Код: 1-4 5-1 1-6 4-2 2-5 6-2 4-3 5-3 6-3 и каждому ребру графа соответствуют №1 1 -1 1 0 0 0 0 0 0 №2 0 0 0 -1 1 -1 0 0 0 №3 0 0 0 0 0 0 -1 -1 -1 №4 -1 0 0 1 0 0 1 0 0 №5 0 1 0 0 -1 0 0 1 0 №6 0 0 -1 0 0 1 0 0 1, одноимённые действия. Приведу один из вариантов описания графа на основе процедурно-топологической нотации(ПРОТОН): Код: (ЗАГОЛОВОК (СОЕДИНЕНО (ВЫБОР "В5" (ВАРИАНТ "5-1" (ДЕЙСТВИЕ "5-1") ) ) ) (ВЫБОР "В1" (ВАРИАНТ "1-4" (ДЕЙСТВИЕ "1-4" (ВЫБОР "В4" (ВАРИАНТ "4-2" (ДЕЙСТВИЕ "4-2" (СОЕДИНЕНО (ВЫБОР "В6" (ВАРИАНТ "6-2" (ДЕЙСТВИЕ "6-2") ) ) ) (ДЕЙСТВИЕ "2-5" (ВЫБОР "В5") ) ) ) ) ) ) (ВАРИАНТ "1-6" (ДЕЙСТВИЕ "1-6" (ВЫБОР "В6" (ВАРИАНТ "6-3" (ДЕЙСТВИЕ "6-3" (СОЕДИНЕНО (ВЫБОР "В5 (ВАРИАНТ "5-3" (ДЕЙСТВИЕ "5-3") ) ) ) (СОЕДИНЕНО (ВАРИАНТ "4-3" (ДЕЙСТВИЕ "4-3") ) ) (КОНЕЦ) ) ) ) ) ) ) ) Вложение:
|
Автор: | Рэйлвэй Каген [ Суббота, 13 Ноябрь, 2010 17:32 ] |
Заголовок сообщения: | Re: ПРОТОН для ДРАКОНа |
Для экспериментов с XQuery и XPath в какой-либо XML СУБД: Вложение:
|
Страница 3 из 7 | Часовой пояс: UTC + 3 часа |
Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |