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

Anbefalede faglige forudsætninger:
Modulet bygger videre viden fra modulerne Datalogiens teoretiske grundlag og Algoritmik og datastrukturer

Modulets indhold, forløb og pædagogik

Læringsmål

Viden

• opnå viden om formel sprogteori:

  • teorier for beskrivelse og genkendelse af regulære sprog: Determinitiske 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

• opnå viden om semantik af programmeringssprog:

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

  • 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, jf. kapitel 3

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