Pr-1st-1.1-m03-Slajd15

Relacja poprzedzania lokalnego

Przez ${\mapsto }_i$ oznaczamy relację poprzedzania lokalnego zdarzeń procesu $P_i$, taką że: $E_i^k{\mapsto }_i{E}_j^l$ wtedy i tylko wtedy, gdy $i=j$ oraz Parser nie mógł rozpoznać (błąd składni): {\displaystyle k \lt l} (lub gdy $i=j$ oraz $E_i^k\mapsto E_j^l$).

<< Poprzedni slajd | Spis treści | Następny slajd >>