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'$ i fakt ten oznaczamy $M\prec _{i,j}M'$, tym samym:

$\prec _{i,j}:=\{\left\langle M,M'\right\rangle :(M{\mbox{ bezpośrednio poprzedza }}M')\}$

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