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.