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.

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.

Organisering

6 timar forelesingar, øvingar og rettleiing pr veke i vårsemesteret.

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.

Det tas forbehold om mindre justeringer i planen.