At give studerende en fundamental forståelse af formelle sprog, simple maskinmodeller, simpel syntaksanalyse og deres anvendelser; samt at indføre de studerende i funktionsorienteret programmering.
Kursusindhold:
Teori for og praktisk anvendelse af regulære og kontekst frie sprog. Dette inkluderer forskellige repræsentationsformer, deres egenskaber og transformationer mellem dem såvel som anvendelser til syntaksanalyse. Programmering i SML, herunder praktisk konstruktion af prototyper, bl. a. under anvendelse af LEX og YACC lignende værktøjer.
Bemærkninger:
Beherskelse af imperativ programmering. Simple algoritmer og datastrukturer, herunder grafrepræsentationer og simple grafalgoritmer, f.eks. dybde-først søgning. Diskret matematik: mængder, funktioner, relationer. Simple bevisteknikker. Kan opnås i kurserne: 02100, 02105, 02110 samt 01016 (Grundlæggende Matematik for Dataloger, som antages at ligge på 1. eller 2. semester).
