Fikk beskjed fra Torbjørn Bull …

Fikk beskjed fra Torbjørn Bull Høgstmyr

--- Jeg ville bare si ifra om at C-noden i tilstandsmaskinen (oppg 2) går både til seg selv og til A når 0 blir lest inn (mens 1 ikke kan leses inn i C-tilstanden). Dette har muligens ikke direkte relevans for løsning av oppgavene, men flere av bevisoppgavene må jo løses med utgangspunkt i at maskinen faktisk er en DFA. ----

Dette er helt riktig - min feil. Det spiller ingen rolle for løsningene, bortsett fra at det var vesentlig i oppgave 2 at vi har en DFA. Jeg har endret på figuren i oppgaven slik at det da skulle bli riktig.