Lysark 23 fra forelesningen 27.1 ¡­

Lysark 23 fra forelesningen 27.1 er dessverre ikke helt korrekt. Det som st?r gjelder hvordan man kan bruke chasealgoritmen til ? vise FDer, men ikke for ? vise MVDer. Korrigert lysark kommer p? neste forelesning (se ogs? kapittel 3.7.2 og eksempel 3.36 i l?reboken).