Pr-1st-1.1-m04-Slajd36

Konstrukcja relacji ${\prec }_{i,j}$ (3)

1. Jeżeli jest typu FF, to dla wszystkich $M$, takich że $M$ nie ma następnika w ${\prec }_{i,j}$,

${\prec }_{i,j}:={\prec }_{i,j}\cup \{⟨M^{\prime },M⟩\}$

2. Jeżeli jest typu FF, to dla wszystkich M', takich że M' nie ma następnika w ${\prec }_{i,j}$,

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \prec _{i,j := \prec _{i,j} \cup \{\left \langle M', M \right \rangle \}} , następnie, $M_{i,j}^b:=M$.

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