Переписывание графа одиночного выталкивания - Single pushout graph rewriting

В Информатика, переписывание графа одиночного выталкивания или переписывание графа SPO относится к математической структуре для переписывание графа, и используется в отличие от подход с двойным выталкиванием переписывания графов.

Рекомендации

дальнейшее чтение

  • Ehrig, H .; Р. Хекель; М. Корфф; М. Лёве; Л. Рибейро; А. Вагнер; А. Коррадини (1997). «Глава 4. Алгебраические подходы к преобразованию графов. Часть II: подход одиночного выталкивания и сравнение с подходом двойного выталкивания». В Гжегож Розенберг (ред.). Справочник по грамматикам графов и вычислениям с помощью преобразования графов. World Scientific. С. 247–312. CiteSeerX  10.1.1.72.1644. ISBN  978-981-238-472-0.