Pr-1st-1.1-m04-Slajd36

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Konstrukcja relacji (3)

Konstrukcja relacji (3)

1. Jeżeli jest typu FF, to dla wszystkich , takich że nie ma następnika w ,

2. Jeżeli jest typu FF, to dla wszystkich M', takich że M' nie ma następnika w ,

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, .


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