DD2371 Automatteori

Kursanalys VT08

Kursdata

Mål

The aim of the course is to provide students with a profound understanding of computation and effective computability through the abstract notion of automata and the language classes they recognize. Along with this, the students get acquainted with the important notions of state, nondeterminism and minimization, and acquire the important skills to prove whether a language is or isn't regular or context-free, and whether a problem is decidable or not.

Förändringar inför denna kursomgång

Inga.

Sammanfattning

Jag är nöjd med hur kursen gick i år. Till skillnad från tidigare år hade jag nu nästan bara D studenter, och detta påverkade positivt nivån, därför att de har bra förkunskaper för kursen. Åt andra hade jag mindre aktivt deltagande under föreläsningarna från studenternas sida.

Undervisningen

Jag brukar blanda föreläsningar med övningar. 

Examination

Examinationen består av en skriftlig tenta. De flesta problem är av konstruktionsharaktär. Dessutom testar några problem förståelsen av de tre viktigaste teorem i kursen: Myhill-Nerode, Chomsky-Schützenberger och Rice's Theorem. Själva tentan (med lösningar) finns här.

Ny betygsskala A-F

Jag grupperade de olika uppgiftena som jag förväntar mig studenterna att kunna lösa efter kursen i tre kategorier. till betyg E, till betyg D-C och till betyg B-A. Indelningen finns här.

Kurslitteratur

I kursen används boken Automata and Computability av Dexter Kozen, Springer, 1997. Boken passar bra min undervisningsstil. Det enda studenterna ibland klagar om är det relativt låga antalet lösta problem i boken, men detta kompenseras av många andra lösta problem som jag har förberett.

Elevenkät

Hela kursutvärderingen finns här.

Kursens belastning för eleverna

Enligt min uppfattning är studenterna inte särskilt belastade under kursen. De gör tre hemuppgifter under kursen - en efter varje kursdel.

Förkunskaper

Förkunskaper som är väsentliga för kursen är Diskret Matematik och Logik. De flesta studenter verkade ha tillräckliga förkunskaper.

Verkligt kursinnehåll

Det verkliga kursinnehållet kan ses på följande länk.

Övrigt

En sådan kurs borde vara obligatorisk på varje datalogisk curriculum, men är tyvärr inte obligatorisk här.

Planerade förändringar

På grund av dålig budget kommer kursens omfattining att halveras.