Syntaks og semantik

2018/2019

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 navnSyntaks og semantik
Prøveform
Skriftlig eller mundtlig
ECTS5
Bedømmelsesform7-trins-skala
CensurEkstern prøve
VurderingskriterierSom angivet i Fakultets vurderingskriterier
http:/​/​www.tech.aau.dk/​digitalAssets/​337/​337434_vurderingskriterier.pdf

Yderligere informationer

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

 

Fakta om modulet

Engelsk titelSyntax and Semantics
ModulkodeDSNDATFB402
ModultypeKursus
Varighed1 semester
SemesterForår
ECTS5
TompladsJa
UndervisningsstedCampus Aalborg
Modulansvarlig

Organisation

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