Переписывание графов

[deep_econom]

https://ru.wikipedia.org/wiki/Переписывание_графов

Алгебраический подход к переписыванию графов основан на теории категории.

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

Другим подходом к переписыванию графов является переписывание абстрактного семантического графа (АСГ), который предполагает обработку или преобразование АСГ посредством набора синтаксических правил переписывания.

OpenCog предоставляет базовую поддержку сопоставления с образцом (на основе гиперграфов), которая используется для реализации различных алгоритмов ИИ.

Инструменты для решения задач разработки программного обеспечения (в основном в рамках архитектуры, управляемой моделью (MDA)) с использованием переписывания графов:

EMorF система переписывания графов основанная на EMF и поддерживающая преобразования на месте и преобразования модель-модель.

PROGRES (PROgrammed Graph REwriting Systems), интегрированная среда и очень высокоуровневый язык для программируемых систем переписывания графов.

ps1
https://ru.wikipedia.org/wiki/PERT
https://ru.wikipedia.org/wiki/Сеть_Петри
http://bourabai.ru/cm/petri_nets.htm
https://ru.wikipedia.org/wiki/Диаграмма_Ганта
https://ru.wikipedia.org/wiki/Переписывание_графов
https://ru.wikibrief.org/wiki/Graph_rewriting
https://en.wikipedia.org/wiki/Greedoid
https://en.wikipedia.org/wiki/Factor_graph
https://en.wikipedia.org/wiki/Hypergraph

всё это разновидности этого
https://ru.wikipedia.org/wiki/Конечный_автомат
https://ru.wikipedia.org/wiki/Нормальный_алгоритм

и это всё разновидности систем переписывания.