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

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

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

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


vlozhenie_i_strukturnye_izmenenija_na_grafax

Вложение и структурные изменения на графах

В текстовом программировании известны применения вложения в той или иной форме (например, в архитектуре и программировании отечественных машин семейства «Эльбрус»; см. это сообщение).

В рамках ШМ это понятие было применено к графам. При этом среди рёбер графа выделяются такие, что допускают замену на тот или иной подграф — т.н. рёбра ввода. Этот подграф называется атомом и всегда имеет один вход и один выход; оба они представлены рёбрами ввода, между которыми располагается смысловая часть — так сказать, «ядро» атома. Оно м.б. единственной вершиной или также подграфом (для ДРАКОНа - типа ветвления или цикла). Во втором случае рёбра ввода также м.б. в «ядре».

В исходном ШМ на ребре ввода определена т.н. валентная точка — вспомогательная вершина, на месте которой ребро как бы можно разорвать и вставить в разрыв атом так, что части разорванного ребра становятся продолжениями рёбер вставляемого атома.

В процессе обсуждения ШМ было предложено называть валентные точки точками ввода, а также отказаться от определения этих точек как вершин и считать само ребро допускающим ввод.

Операция ввода атома в шампур-методе

Принцип вложения (ввода атома) показан на рисунке ниже.

Атомы и структурные операции в шампур-методе

Для исчисления схем на конкретном шампур-языке задаются множества атомов и заготовок схем. На каждом определяются рёбра ввода. При этом для более удобного представления ветвления на множество вариантов Паронджановым предложена атомарная структура «переключатель».

Кроме вложения, в ШМ определены также операции изменения топологии схемы, не нарушающие структурности. Это добавление/удаление варианта переключателя, удаление конца схемы («зацикливание» алгоритма в целом — от начала до конца), боковое присоединение (добавление вершины-модификатора к другим вершинам).

Схематически можно представить сказанное о вершинах, атомах и заготовках, как на следующих рисунках.

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

vlozhenie_i_strukturnye_izmenenija_na_grafax.txt · Последние изменения: 2012/04/07 14:46 — Владислав Жаринов