Forudsætninger/Anbefalede forudsætninger for at deltage i modulet

Modulet bygger videre på modulerne Datalogiens teoretiske grundlag og Algoritmik og datastrukturer.

Modulets indhold, forløb og pædagogik

Læringsmål

Viden

Den studerende skal opnå viden om følgende teorier og metoder:

Formel sprogteori:

• teorier for beskrivelse og genkendelse af regulære sprog: Deterministiske og nondeterministiske endelige automater, regulære udtryk og ækvivalens af disse

• teorier for beskrivelse og genkendelse af kontekstfrie sprog: Kontekstfrie grammatikker og pushdown-automater og ækvivalens af disse

• begrænsninger ved regulære og kontekstfrie sprog: Pumping Lemma for regulære og kontekstfrie sprog

Semantik af programmeringssprog:

• strukturel operational semantik: Big-step og small-step semantik af gængse programmeringskonstruktioner. Semantisk ækvivalens. Semantik af scope-regler og parametermekanismer

• teknikker for programkorrekthed. F.eks. Hoare logik, typesystemer

• rekursive definitioner og beregning af fikspunkter

Færdigheder

• kunne redegøre præcist og ved brug af fagets terminologi og notation for resultater inden for formel sprogteori og semantik af programmeringssprog

• og hvordan og i hvilket omfang disse resultater kan anvendes

• kunne gøre brug af de fornødne skriftlige færdigheder i disse sammenhænge

Kompetencer

• kunne anvende begreber og teknikker fra formel sprogteori og semantik af programmeringssprog, herunder i design og beskrivelse af programmeringssprog.

Undervisningsform

Undervisningen tilrettelægges i henhold til de generelle undervisningsformer for uddannelsen

Omfang og forventet arbejdsindsats

Det forventes at den studerende bruger 30 timer per ECTS, hvilket for denne aktivitet betyder 150 timer.

Eksamen

Prøver

Prøvens navn	Syntaks og semantik
Prøveform	Skriftlig eller mundtlig
ECTS	5
Bedømmelsesform	7-trins-skala
Censur	Ekstern prøve
Vurderingskriterier	Vurderingskriterierne er angivet i Universitetets eksamensordning

Yderligere informationer

Kontakt: Studienævn for datalogi via cs-sn@cs.aau.dk eller 9940 8854