Forkunnskaper
5610 Algoritmar og datastrukturar.
Læringsmål
Studentane skal bli kjende med prinsipp, teknikkar og verkty som blir nytta for å beskrive, representere og prosessere ulike kategoriar av formelle språk, med særleg vekt på programmeringsspråk og strukturerte dokument.
Organisering
6 timar forelesingar, øvingar og rettleiing pr veke i vårsemesteret.
Innhold
Syntaks, semantikk og pragmatikk. Klassifisering av formelle språk. Metodar for å beskrive syntaks: grammatikkar, regulære uttrykk og automatar, leksikalsk analyse og syntaktisk analyse. Representasjon av formelle språk: syntakstre, objektmodellar for strukturerte dokument. Metodar for å kontrollere, tolke og transformere formelle språk: tretraversering, dokumenttypedefinisjonar, reglar for tyepesjekking, interpretering, omskrivingssystem, kodegenerering, stilark, spørrespråk.
Vurderingsformer
1 times individuell, skriftleg undervegsprøve og ei individuell, skriftleg 4 timars sluttprøve. Undervegsprøva tel 20 % av samla karakter og sluttprøva 80 %. Det blir gitt obligatoriske oppgåver som skal vere godkjende før ein kan gå opp til sluttprøve. Alle delprøver må vere bestått.