Pr-1st-1.1-m04-Slajd33

Bezpośrednie poprzedzanie

Jeżeli natomiast zachodzi predykat:

Parser nie mógł rozpoznać (nieznana funkcja „\nexistsM”): {\displaystyle M \prec ^+_{i,j} M' \land (\nexistsM'' :: ( M'' \ne M \land M'' \ne M' \land M \prec ^+_{i,j} M'' \land M'' \prec ^+_{i,j} M' }

to powiemy, że $M$ bezpośrednio poprzedza $M^{\prime }$ i fakt ten oznaczamy $M{\prec }_{i,j}{M}^{\prime }$, tym samym:

${\prec }_{i,j}:=\{⟨M,M^{\prime }⟩:(M\text{ bezpośrednio poprzedza }{M}^{\prime })\}$

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