VELKOMMENKort om INF2080. Det er …

VELKOMMEN

Kort om INF2080. Det er en fortsettelse av INF1080 med vekt på fire emner

• endelige automater - 2 uker
• kontekstfrie språk - 2 uker
• turing maskiner - 3 uker
• kompleksitet - 6 uker

Boka er Sipsers bok, 3.utgave, men 2.utgave kan brukes. Vi vil følge boka tett. Vi tar ikke med 2.4 som er det vesentlige skillet mellom 2. og 3. utgave. Som ekstrabok har jeg min Compact Companion.

På web er det mye stoff rundt Sipsers bok. Jeg kommer til å bruke noen slides fra Emanuele Viola og se også på slides fra i fjor.

Dette er temaer som det er masse om på web. Slå opp i wikipedia på finite automata, contextfree languages, turing machines, complexity og søk videre derfra. Jeg vil sikkert nevne en del av dette på forelesningene.

Vi har forelesninger i Store Auditorium, Kristen Nygaards hus og felles regneøvelser i CAML. Vi måtte flytte på grunn av stor oppmelding.