DRAKON.SU

Текущее время: Четверг, 28 Март, 2024 13:26

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




Начать новую тему Ответить на тему  [ Сообщений: 4 ] 
Автор Сообщение
СообщениеДобавлено: Воскресенье, 09 Август, 2009 21:20 

Зарегистрирован: Понедельник, 29 Январь, 2007 19:00
Сообщения: 6
Откуда: Украина, Запорожье
Владимир Паронджанов писал(а):
...
То есть математика здесь безукоризненная.
...
Где можно прочитать это математически строгое описание Дракона?


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Для обсуждения и.с. DRAKOH 2009г.
СообщениеДобавлено: Воскресенье, 09 Август, 2009 22:19 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 631
Откуда: Россия, Орёл
У Владимира Даниеловича в книге представлено строгое математическое определение в конструктивном смысле.
Конструктивное определение - когда указывается, что некоторый базовый объект подходит под определение; затем вводятся операции над ним, и говорится, что они не выводят за определяемое множество.

Аксиоматическое же определение тоже возможно, на базе теории графов. Нужно указать, к какому классу планарных циклических орграфов относится топология Дракон-схемы.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Для обсуждения и.с. DRAKOH 2009г.
СообщениеДобавлено: Понедельник, 10 Август, 2009 16:58 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 5846
Откуда: Москва
PGR писал(а):
Владимир Паронджанов писал(а):
...
То есть математика здесь безукоризненная.
...
Где можно прочитать это математически строгое описание
Дракона?




Где можно прочитать это математически строгое описание Дракона?

Уважаемый PGR!

Благодарю за вопрос. Вы подняли важную проблему, которая до сих пор не получила критического внимания и должного критического анализа со стороны участников форума.

Мой ответ состоит из трех частей:
• предварительные замечания;
• ответ по существу
• дополнение.

ПРЕДВАРИТЕЛЬНЫЕ ЗАМЕЧАНИЯ

Мое математическое описание открыто для критики. Более того, я в высшей степени заинтересован в получении критических замечаний на мое теоретическое обоснование.

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

ОТВЕТ ПО СУЩЕСТВУ

Ответ делится на пять пунктов.

:idea: Пункт 1. Конструктивное определение, о котором пишет Илья Ермаков, приведено в книге «Как улучшить работу ума…» в главе 15 «Описание визуального синтаксиса языка Дракон». Оно дано в виде 37 тезисов и охватывает все содержание главы.

:idea: Пункт 2. Второй частью математического обоснования языка Дракон является модифицированный мною метод Ашкрофта-Манны (связанный с введением переменной состояния).

Этот метод обосновывает конструкцию «силуэт».
Данный метод только упомянут мною, но не раскрыт. См. Теоремы 1 и 2 на стр. 100 и сноску на стр. 101, в которой читателю предлагается самостоятельно их доказать.

Примечание. В теореме 2 говорится о введении дополнительных переменных (идентификаторов ветки) --- это и есть (почти) переменные состояния.

Прошу обратить внимание на такую деталь. В классических методах введения переменной состояния и в методе Ашкрофта-Манны говорится об ОДНОЙ переменной состояния.

В модифицированном мною методе говорится не о об ОДНОЙ переменной состояния, а о НЕСКОЛЬКИХ переменных состояния.

Более того, я предпочитаю не говорить о переменной состояния, а говорить о введении дополнительных переменных (идентификаторах ветки, которые записываются в иконах «имя ветки»).

Особенность в том, что ветки силуэта и иконы «имя ветки» можно трактовать двояко ПО ЖЕЛАНИЮ пользователя.

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

Далее. Силуэт вовсе не обязательно трактовать как CASE, вложенный в цикл WHILE. Я бы сказал, что это делается по привычке или по инерции.

Есть две альтернативы. На стр. 91 я предложил два новых оператора ВЕТКА и АДРЕС. Еще одна альтернатива --- использовать GOTO.

Короче, выбор есть.

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

:idea: Пункт 3. Еще одним обоснованием является разработанное мною исчисление икон. См. «Глава 17. Исчисление икон и попытка предсказать будущее» (только стр. 267—272).
Параграф «Об одном распространенном заблуждении» можно опустить.

Речь идет о классической математической логике. Новация в том, что я провел частичную визуализацию понятий математической логики. Введены два новых понятия:
• визуальный логический вывод;
• визуальное логическое исчисление.

В итоге разработано исчисление икон.

:idea: Пункт 4. Показано, что силуэт при желании можно рассматривать как конечный автомат. (См. сноску на стр. 260 и рис. 136 и 137).

:idea: Пункт 5. Мне известно, что Илья Ермаков разработал математическую модель, которую со временем он собирается опубликовать.

ДОПОЛНЕНИЕ

Особняком стоят три математических комментария.

Комментарий 1. Показано, что математический метод эквивалентных преобразований позволяет улучшить эргономические характеристики дракон-схем

Имеются в виду эквивалентные преобразования:

• рокировка;
• вертикальное объединение;
• горизонтальное объединение.

(стр. 108---119)

Комментарий 2. Математические преобразования, связанные с визуализацией логических функций И, ИЛИ, НЕ и сложных логических функций. «Глава 9. Визуализация логических формул» (стр. 143---153).

Комментарий 3. Шампур-метод. Абстрактная модель программы. Интерпретация дракон-схемы и шампур-языка. Частичное доказательство правильности программ. (См. 272---275).

Все ссылки даны по книге "Паронджанов В.Д. Как улучшить работу ума: Алгоритмы без программистов -- это очень просто! М.: Дело, 2001. 360с."
viewtopic.php?p=21078#p21078


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Для обсуждения и.с. DRAKOH 2009г.
СообщениеДобавлено: Среда, 12 Август, 2009 18:15 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 5846
Откуда: Москва
Владимир Паронджанов писал(а):
прекрасный пример такой погрешности привел
Алексей Донской


Прежде всего, следует указать, что замечание Алексея Донского
по своей глубинной сути имеет формальный, математический характер.
И ответ на него по своей глубинной сути также является строго
математическим.

Однако в данном случае необходимо прежде всего показать, что проблема,
поставленная Донским, имеет решение, то есть решение СУЩЕСТВУЕТ.
Проще всего это сделать на языке графики.

Рассмотим вопрос в необходимых деталях.
Алексей Донской совершенно правильно говорит:
Цитата:
3) Суперстранно, просто кошмарно выглядит результат
объединения двух ветвей -- выходы из развилок образовали
вообще непонятно что. Как с этим справиться?

См. замечание и рисунок по ссылке
viewtopic.php?p=32708#p32708

1. На вопрос "Как с этим справиться?" я предложил:
Цитата:
Ответ. Справиться можно так. В иконе "вопрос" Nrec > 0
выход по нет не надо вести по прямой до упора в вертикаль.
Надо ввести чисто графическое исправление. Указанный выход
по нет ведем горизонтально длиной 1 см., затем делаем излом
и сворачиваем вниз.

После этого, как Вы сказали, выравниваем три иконы "вариант"
переключателя по горизонтали.
Затем выравниваем две иконы вопрос Nrec по горизонтали.
Затем выравниваем две иконы "действие" по горизонтали.
Таким образом, в правых двух ветвях переключателя получаем
две графически одинаковые конструкции. Они выровнены по
горизонтали.

При этом каждая из двух одинаковых графических конструкций
содержит:
-- Икону вопрос Nrec.
-- Икону действие в левом плече развилки.
-- Правое плечо развилки пустое (это просто вертикальная линия).

Разница между этими конструкциями состоит только в текстовом
наполнении икон "вопрос" и "действие".

Таким образом, Алексей Донской полностью прав.

См. начиная со слова "Ответ." здесь:
viewtopic.php?p=32710#p32710

2. Илья Ермаков показал такое же графическое решение,
опираясь на свою математическую модель, встроенную
в предложенный им эскиз редактора.
См. начиная со слова "Касательно" здесь:
viewtopic.php?p=32709#p32709

Примечание. На эскизном рисунке Ильи Ермакова
по правилам визуального синтаксиса языка Дракон
должна быть изображена икона "вопрос".

Однако на рисунке вместо иконы "вопрос"
временно (условно) изображена икона "действие"
с двумя выходами.

По правилам визуального синтаксиса языка Дракон,
икона "действие" не может иметь два выхода.

Причина "нарушения" проста. Илья Ермаков предложил
не законченный рисунок, а эскизный, чтобы продемонстрировать
искомый результат быстро, на скорую руку.

Чтобы превратить эскизный рисунок в законченный,
надо мысленно подставить в эскизный рисунок икону "вопрос"
вместо иконы "действие" с двумя выходами
(причем сделать это в двух местах).
Конец примечания

С учетом этих очевидных мелочей, можно сказать, что на вопрос
Алексея Донского "Как с этим справиться?" Илья Ермаков предложил
АБСОЛЮТНО ПРАВИЛЬНОЕ РЕШЕНИЕ, ОПИРАЮЩЕЕСЯ
НА РАЗРАБОТАННУЮ ИМ МАТЕМАТИЧЕСКУЮ МОДЕЛЬ.

Модель является хорошим милиционером, так как она
НЕ ДОПУСТИТ появления математической погрешности,
на которую совершенно справедливо обратил внимание
Алексей Донской.


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 4 ] 

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


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

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


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

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