Визуальный язык ДРАКОН

Дружелюбный Русский Алгоритмический язык, Который Обеспечивает Наглядность/Надёжность

Инструменты пользователя

Инструменты сайта


cikl-silueht_i_metod_dejkstry

Различия

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

Ссылка на это сравнение

Следующая версия
Предыдущая версия
cikl-silueht_i_metod_dejkstry [2012/05/21 20:19]
Владислав Жаринов создано
cikl-silueht_i_metod_dejkstry [2012/05/21 20:34]
Владислав Жаринов
Строка 1: Строка 1:
-Разработчик [[ВЯЗБС-систем|ВЯЗБС-системы]] Д.В. Барановский (ник на проекте Дмитрий_ВБ) ввёл также собственное определение шампур-языка. Существенной его частью в новой редакции (ДАЛВЯЗ) стала конструкция "​цикл-силуэт"​ (ЦС).+====== Цикл-силуэт и метод Дейкстры ====== 
 + 
 +Разработчик [[ВЯЗБС-системы|ВЯЗБС-систем]] Д.В. Барановский (ник на проекте Дмитрий_ВБ) ввёл также собственное определение шампур-языка. Существенной его частью в новой редакции (ДАЛВЯЗ) стала конструкция "​цикл-силуэт"​ (ЦС).
  
 Визуально-структурный анализ ЦС показывает,​ что его укрупнённая структура образуется вложением выбора Дейкстры в "​риторический"​ цикл (с тождественно истинным условием). Из сказанного на [[http://​drakon.su/​strukturnaja_algoritmizacija_i_shampur-metod_-_sochinitel_stanovitsja_mudrecom#​strukturnaja_algoritmizacija_i_shampur-metodsochinitel_stanovitsja_mudrecom|этой странице]] нетрудно видеть,​ что это вариант реализации цикла Дейкстры. Т.е. цикл-силуэт есть на самом деле структурная конструкция без goto и его заменителей. Визуально-структурный анализ ЦС показывает,​ что его укрупнённая структура образуется вложением выбора Дейкстры в "​риторический"​ цикл (с тождественно истинным условием). Из сказанного на [[http://​drakon.su/​strukturnaja_algoritmizacija_i_shampur-metod_-_sochinitel_stanovitsja_mudrecom#​strukturnaja_algoritmizacija_i_shampur-metodsochinitel_stanovitsja_mudrecom|этой странице]] нетрудно видеть,​ что это вариант реализации цикла Дейкстры. Т.е. цикл-силуэт есть на самом деле структурная конструкция без goto и его заменителей.
  
-В то же время в определении ЦС используется графика веточных соединителей. Причём с нестандартным текстом+В то же время в определении ЦС используется графика веточных соединителей. Причём с нестандартным текстом ​вершины Адрес ветки, задающим присваивание. Смысл этого можно трактовать по-разному. 
 +  * неструктурно - тогда присваивание адреса понимается как случай "​выраженьевого goto", подобно ФОРТРАНу;​ 
 +  * структурно - тогда это имеет смысл установки требуемого следующего состояния (понимая ЦС как граф управления автомата). 
 + 
 +В структурной интерпретации графика адреса - просто "​удобное место"​ для назначения нового состояния. Безусловный переход же, как и положено в структурных конструкциях,​ неявный и происходит вслед за присваиванием (согласно принципу реализации ЦД). 
 + 
 +Т.о., у Барановского в данном случае в одной вершине совмещены два типа операторов. Это соотвествует ведущей идее ДАЛВЯЗ - т.н. компактификации визуального представления программы. 
cikl-silueht_i_metod_dejkstry.txt · Последние изменения: 2012/05/21 20:34 — Владислав Жаринов