Syntaks og semantik

2019/2020

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 navnSyntaks og semantik
Prøveform
Skriftlig eller mundtlig
ECTS5
Bedømmelsesform7-trins-skala
CensurEkstern prøve
VurderingskriterierVurderingskriterierne er angivet i Universitetets eksamensordning

Yderligere informationer

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

 

Fakta om modulet

Engelsk titelSyntax and Semantics
ModulkodeDSNDATFB412
ModultypeKursus
Varighed1 semester
SemesterForår
ECTS5
UndervisningssprogDansk og engelsk
TompladsJa
UndervisningsstedCampus Aalborg
Modulansvarlig

Organisation

StudienævnStudienævn for Datalogi
InstitutInstitut for Datalogi
FakultetDet Tekniske Fakultet for IT og Design