1.12.2005

Transformacje rozszerzonych grafów hierarchicznych
z wykorzystaniem teorii kategorii

W referacie proponuje się rozszerzony typ grafów hierarchicznych oraz reguł ich transformacji. Definicje hierarchicznych grafów, morfizmów grafowych oraz reguł transformacyjnych sa rozszerzeniami ich odpowiedników z algebraicznej teorii transformacji grafowych. Mechanizm rozszerzający jest uniwersalny; można go zastosować do dowolnego typu grafów płaskich. Poprawność konstrukcji dowiedziona jest przez wykazanie, ze proponowane grafy i amorfizmy tworzą kategorie algebraiczna.
W referacie rozważa się również grafowe reguły wieloznaczne. Pozwalają one na przekształcanie grafu nawet wtedy, gdy fragment grafu podlegający modyfikacji ma zagnieżdżone wewnątrz siebie nieznane z góry hierarchiczne atomy.