Målet med dette kursus er at give deltagerne et basalt kendskab til fundamentale dele af den teoretiske datalogi.
Indhold:
Kurset vil indeholde en række centrale emner inden for regulære sprog, context-fri sprog og rekursivt enumerable sprog. Af eksempler kan nævnes: regulære udtryk, endelige automater, ækvivalens mellem regulære udtryk og endelige automater, ikke-regulære sprog, context-fri grammatikker, pushdown automater, ækvivalens mellem context-fri grammatikker og pushdown automater, ikke-context-fri sprog, Turing maskiner, afgørlighed, Chomsky hierarkiet.
Forudsætninger:
Datalogi 1.
Undervisningsform:
Forelæsninger: 3 timer pr. uge.
Øvelser: 3 timer pr. uge.
Obligatoriske opgaver: Der kan stilles et mindre antal afleveringsopgaver eller obligatoriske opgaver af et samlet omfang på ca. 25 timer. Tilfredsstillende besvarelse af disse opgaver er en forudsætning for at kunne indstille sig til eksamen.
Evaluering:
En mundtlig prøve.
Bemanding:
Flemming Nielson.
Belastning:
2 point.