En student skrevHar problemer med ¡­

En student skrev

Har problemer med oppgave 2.2 under obligen og er usikker p? hvordan jeg skal angrepe oppgaven. Ordet h?yreinvariant finner jeg veldig lite om. P? Google dukker det opp kun 2 treff. Har ogs? s?kt igjennom kompendiet til INF2080 og INF1080. Takk for hjelp

----

Jeg svarte

H?yreinvariant betyr at hvis a ekvivalent b, s? ac ekvivalent bc for alle c. Det er det som st?r i oppgaven.

-----

Begrepet h?yreinvariant brukes ikke i oppgaven. Det er til orientering for de som ?nsker ? se videre p? det, men det er ikke en del av oblig'en som det st?r i teksten.