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