Spørsmål fra student: "I oppgave …

Spørsmål fra student: "I oppgave 2.1 skal vi bevise at at L(A) .... L(H) gir en partisjon av sigma*. Jeg ser at tilstand D har inngrad null, slik at L(D) blir det tomme språket. I INF1080 lærte jeg at en partisjon ikke inneholder den tomme mengden, som motsier det vi må bevise. Bruker du en annen definisjon av partisjon eller er dette bare en slurvefeil?"

Svar:

Hei

Med en partisjon K, L, M, N av P mener jeg to ting

• unionen er hele P
• mengdene K, L, M, N er disjunkte - snittet av to og to av dem er tomme

Med en slik definisjon kan en godt bruke at en av mengdene er tom - det spiller ingen rolle.

Dette er den vanlige definisjonen. Så til det som er gjort i INF 1080. Jeg så ikke på det før jeg lagde oppgaven. Det er mulig at Roger har unntatt det enkle tilfellet at noen av mengdene er tomme. Men jeg skjønner ikke helt hvorfor.

Jeg skal legge ut beskjed om dette på web-siden.

-- Herman Ruge Jervell