DRAKON.SU

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

ВОПРОС 1.

Вот графическая и его текстовая интерпретация. Правильно ли я его перевел.





ВОПРОС 2
На изображении изображены 3 цикла.


Вот первую я могу перевести в код:


А вот с остальными проблема. Покажите и обьясните рисунки 73 и 74.

Если возможно без использования оператора goto.

Nikkolay-BIG, с практикой программирования на языке Си с использованием ИС Дракон можно познакомиться на сайте http://www.drakon-practic.ru.

Генерируется программный код на языке Си в стиле ассемблера.
Ассемблера без goto не бывает.
Надо понимать логику генерации и принять ее, как данность.
Эта данность определена синтаксисом используемого языка программирования.

Наработались некоторые принципы программирования с использованием ИС Дракон.
Смотрите: http://forum.easyelectronics.ru/viewtopic.php?p=327540#p327540

Спасибо что ответили, но мне интересует кодогенерация по схемам ДРАКОН. Как преобразовать схему в исходный код.
Немного разобрался, осталось некоторые заметки. Примерно как я перевел в текстовое описание вопроса 1 см. сверху

За ссылки спасибо, но я их смотрел.

Nikkolay-BIG, ваш код к 1-й схеме неправильный:
исполнителю (возможно ребенку), при отсутствия хлеба, нет необходимости идти домой, возможно он пойдет гулять.

В коде поставьте метку перед оператором END и после комментария "Хлеба нет. ... " поставьте оператор Goto на метку.

Вот именно что оператор goto используется там где это не нужно. Я разбирал как и что генерирует программа. Оператор ветвеления генерируется вот по такой схеме

if (условие) goto L<NN>;

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

Вот мой код:

if (условие)
{
//если условие истино
}
else
{
// если условие ложно
}

Nikkolay-BIG, да, иначе нельзя.

Любую Дракон-схему преобразовать к структурному виду нельзя.

Почему нельзя?

Для Дракон-схем и структурного программного кода (без goto) имеется принципиальное отличие:

При структурном коде, логический оператор определяют выполнение определенного блока кода (одиночного оператора, begin ... end, { ... }). Логический оператор, при любых условиях, имеет общий выход. Логический оператор может быть вложен в другой логический оператор, уровень вложенности может быть большим.

Для Дракон-схемы, логический оператор определяет выбор направления (маршрута) передачи управления. Для логического оператора, при любых условиях, нет общего выхода, маршруты могут не соединятся, а расходятся. В сгенерированном программном коде нет вложенности операторов, исключение - вложенность в Цикл ДЛЯ.

В составе ИС Дракон имеется так называемый Маршрутный транслятор, реализующий генерацию программного кода в части управления логикой выполнения. Используются метки, безусловные и условные переходы, программный код напоминает код на ассемблере. Такой стиль не должен вас смущать.

Сгенерированный программный код является структурированным, в смысле такой же упорядоченности, что и размещение графических элементов в Дракон-схеме.

В этом нет необходимости. Реализовано в одном исполнительном файле, т.е. дополнительно ничего не требуется и не потеряете что либо.

Николай, спасибо за вопрос. На рис. 72, 73 и 74 изображены три классических цикла, которые можно изобразить без goto. Смотри Википедию здесь и далее.

Рис. 72. Цикл ДО — это цикл с постусловием. Постусловие — значит условие нарисовано ПОСЛЕ действия (ниже действия).

Рис. 73. Цикл ПОКА — это цикл с предусловием. Предусловие — значит, условие нарисовано перед действием (выше действия).

Рис. 74. Гибридный цикл — это цикл с выходом из середины

По моим синим ссылкам откройте Википедию и внимательно прочитайте три подраздела. Там подробно описано, как перевести эти три цикла в код — без использования goto.

Гибридный цикл можно записать и в структурном виде. Первое действие назовем Действие1, а второе - Действие2. Тогда можно записать такой код:
Действие1;
WHILE Вопрос DO
Действие2;
Действие1;
END;