Дружелюбный Русский Алгоритмический язык, Который Обеспечивает Наглядность/Надёжность
Здесь показаны различия между двумя версиями данной страницы.
Последняя версия Следующая версия справа и слева | |||
cikl-silueht_i_metod_dejkstry [2012/05/21 20:19] Владислав Жаринов создано |
cikl-silueht_i_metod_dejkstry [2012/05/21 20:29] Владислав Жаринов |
||
---|---|---|---|
Строка 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", подобно ФОРТРАНу; | ||
+ | * структурно - тогда это имеет смысл установки требуемого следующего состояния (понимая ЦС как граф управления автомата). |