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.