Jeg har rettet en liten feil i oversikten. Det er DFA'er som minimaliseres.
I boka med turing maskiner skal en bruke en transisjon for hvert kvintuppel. Jeg har i forelesningene slått en del av dem sammen. Spesielt der vi leter i en retning til vi finner noe. Da er det nyttig å bruke forkortelse. I en transisjon med la oss si a,b,c over og L under streken er det ment å bety tre transisjoner. En der vi leser a, skriver a og beveger oss L. En der vi leser b, skriver b og beveger L. Og en der vi leser c, skriver c og beveger L. Det er Ok og til og med en fordel å bruke slike forkortelser. Men om du gjør det skriv en liten bemerkning om at du har en forkortelse og hva den betyr.