next up previous contents
Next: Definice . Up: Jazyk termů GCCS Previous: Důkaz:

Příklad .

Na obrázku gif je vidět příklad rozšíření přechodového grafu o počáteční stav dle výše uvedeného lemmatu.

  
Figure: Rozšíření přechodového grafu procesu o počáteční stav

Tím jsme získali přechodový graf s definovaným počátečním stavem . Definice procesu (viz definice gif) jako termu GCCS pomocí přechodového grafu je tedy korektní, neboť vždy lze splnit předpoklad, že počáteční stav je definován.

Strukturu systému GCCS lze vyjádřit pomocí grafu. Tento graf budeme nazývat graf hierarchie. Formálně jej zavedeme v následující definici, použijeme jej k analýze některých vlastností koordinační vrstvy jazyka.



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