next up previous contents
Next: Operační sémantika GCCS Up: Jazyk termů GCCS Previous: Definice .

Poznámka:

Zejména graf hierarchie každého dobře definovaného systému , v němž všechny systémy mají (až na kořen) právě jednoho předka, je konečný strom. Listy tohoto stromu představují procesy. Dostáváme tak strom hierarchie, o němž jsme se neformálně zmínili na straně gif v přehledu syntaxe GCCS.

Každý graf hierarchie neobsahující cykly bychom mohli převést na ekvivalentní strom tak, že místo množiny systémů N bychom uvažovali množinu výskytů systémů. Každý systém, který má více než jednoho předka, bychom nahradili několika jeho výskyty představujícími podsystémy každého z předků. Z praktického hlediska případného uložení hierarchie systému GCCS jako datové struktury je graf s možností většího počtu vstupních hran jednotlivých uzlů výhodnější (menší nároky na prostor u systémů s četným znovupoužitím komponent).



David Safranek
Fri Apr 6 23:53:25 MET DST 2001