пятница, 14 февраля 2025 г.

Представление кода на графе

Ищу способы выражение кода на графе. Нет проблем отобразить графом фрагменты "физического пространства", ясно как выражаются переходы от состояния к состоянию (от одной именованной структуры к другой), но вот повторить имя на одном холсте с размещением графа уже проблема. То есть, если повторяется параметр, входящий или выходящий из разных процессов или вызов одной и той же  процедуры (функции) с разными параметрами, то просто "инкаписулировать" одно имя не выходит ... на одном холсте просто имя можно повторить только один раз. И это не рекурсия в классическом понимании. То есть. Кстати, по пути и возникает тема выражение рекурсии на графе. А может и цикла. Указание стрелки, перехода на само имя теряет семантику ... Возможно существуют способы, о которых мне пока не известно. Буду пробовать маневрировать холстами. То есть для описания "имени", а так же вызова имени - отдельный холст для графа. Может в этом даже что-то есть принципиальное. Имя как модель и код модели всегда следует отделять, как и факты представления и реализации.

Экспериментирую с описанием одной из функций PicoLisp, со списком, кодирующим несколько уровней вложенности.

Рассматриваются вопросы построения графа по заданному тексту программы, специфический взгляд на сложность

1 комментарий: